Parse 'exists' and 'forall' expressions