x1 is a property
- x1=c3 is a predicate relationship.
- x1 (li'i) is the subjective conscious experience of x2 (nu or ka-of-x3), as experienced by x3
- x1 (mass) is the object type of argument object x2, as defined by property x3 (ka)
- x1 is the predicate abstraction described by text x2, and is of type x3