parsing single-argument terms; output AST