parse_form (lparen::I) Stack Form :- !, parse_form I (lparen::Stack) Form. parse_form (tok Pred :: parse_form (forall :: tok Var :: I) Stack Form :- !,