statement [noun] + forall [noun]