cond


Reductions:
(cond (false e) ... (true e_1) (e e) ...) ==> e_1
(cond (false e) ... (true e_1) (e e) ... (else e)) ==> e_1
(cond (false e) ... (else e_1)) ==> e_1
(cond (false e) ...) e==> cond: all question results were false
(cond (false e) ... (v_1 e) (e e) ...) e==> cond: question result is not true or false
   where v_1 is not false, v_1 is not true, and v_1 is not else
(cond (false e) ... (v_1 e) (e e) ... (else e)) e==> cond: question result is not true or false
   where v_1 is not false, v_1 is not true, and v_1 is not else

Beginning Student Language