Merged grammar for fun/forall/exists params