x1 is a member of the unordered set x2 upon which rules x3 are applied in order to produce list x4; x1 is a member of the elements constituting list x4.
grammatically converts LAhE to SE; semantically the result tags the x1 of the selbri as being LAhE the supplied x1. Can be converted to other than x1 with SE.