x_{1} is such that {poi'i} abstraction is true; x_{1} binds {ke'a} within the abstraction.

Originally proposed by And Rosta around 2001.

- si'o ze'ei poi'i
*(comp!)* - abstractor: x
_{1}is x_{2}'s concept of the object bound to {ke'a} and described by [bridi] - do'au
*(exp!)* - pro-sumti whose referent's identity may be chosen by the listener
- ka'oi'i
*(exp!)* - convert bridi into n-ary property claim: x
_{n}is such that it fills the n-th occurrence of ce'u in [bridi]. - nau'o
*(exp!)* - pro-sumti whose referent's identity is unknown to the speaker
- ni'ai
*(exp!)* - x
_{1}is a number/value such that the abstraction is true, under mathematical system x_{2}; x_{1}binds to ke'a within the abstraction - voi'i
*(exp!)* - titular relative clause: gives a title/name in the form of a relative clause, e.g. "Alexander the Great" or "Woobie, Destroyer of Worlds"