fopl statement apply method; quantifiers now specify sets