rels, quantifiers in set, wp lifting to Rel