x1 is a property
zi'o ckaji
In notes:
- zilki'i
- x1=c3 is a predicate relationship.
- li'imdu
- x1 (li'i) is the subjective conscious experience of x2 (nu or ka-of-x3), as experienced by x3
- sumdaiklei
- x1 (mass) is the object type of argument object x2, as defined by property x3 (ka)
- su'umdu
- x1 is the predicate abstraction described by text x2, and is of type x3