zilki'i lujvo

x1=c3 is a predicate relationship.

See zilkai, bridi, ka, ka'ei

In notes:

su'umdu
x1 is the predicate abstraction described by text x2, and is of type x3