bu'a GOhA -bul- cmavo

logically quantified predicate variable: some selbri 1.

In notes:

broda
1st assignable variable predicate (context determines place structure).
bu'ai (exp!)
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
suzyterki'i
x1=k3 is the relationship between x2=k1, x3=k2, x3...; x1 is a property of x2.