1 in notes

nomei _MOI* cmavo-compound

x₁ is a 0-some / empty mass / 0-tuple, with members x₂ (must be the empty set).

• jbovlaste

In notes:

utka

x₁ and x₂ are path-linked by binary predicate x₃ (ka) via intermediate steps x₄ (ce'o; (ordered) list).