memkai lujvo

x1 is a mass containing x2 (li) members, formed from set x3 and including x4 among its members