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.