selbrisle lujvo

x1 is a tanru unit.

selbri selci; ziltau


In definition:

xe'u (exp!)
Abstraction variable indicator selbrisle.

In notes:

ziltau
t1 is a tanru component.
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.