nuncmibi'o lujvo

n1 is the integration of b1=c1 as a member/element of group/set c2 under conditions b3

From la berenstein cribe 2020/11/17 See also nu, binxo, cmima, nunsimbi'o