7 [ t1 = term; SYMBOL "∨"; t2 = term ->
8 return_term loc (Appl [Ident ("or", []); t1; t2])
13 [ t1 = term; SYMBOL "∧"; t2 = term ->
14 return_term loc (Appl [Ident ("and", []); t1; t2])
19 [ SYMBOL "¬"; t = term ->
20 return_term loc (Appl [Ident ("not", []); t])