Update: comment fixed
<(<(i * pizza) --> want> &/ <({SELF} * which_pizza_do_you_want) --> ^say>) =/> <{SELF} --> [useful]>>.
<(<#1 --> choice> &/ <({SELF} * (ok_have * #1)) --> ^say>) =/> <{SELF} --> [useful]>>.
-//Some background knowledge of the available pizza instances
+//Some background knowledge of the available types of pizza
<salamipizza --> ([fleshy] & pizza)>.
<funghipizza --> ([vegetarian] & pizza)>.
