(expression
  ("cond" (arbno expression "==>" expression) "end")
  cond-exp)