terporcmi lujvo

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.

Also "x1 is part of list x4". cf. cmima, cmavo list lu'a and lo'i, porsi.