cei'i GOhA experimental cmavo

pro-bridi: the universal predicate

True for all values. See also: zai'o (pro-sumti; empty), gai'o (pro-bridi; empty), mai'i (pro-sumti; universal), ctaipe.


In notes:

gai'o (exp!)
pro-bridi: the empty predicate
mai'i (exp!)
pro-sumti: the universal argument/value; syntactically-contextually and type-permitted maximally generic in its typing
zai'o (exp!)
pro-sumti: the empty argument/value; syntactically-contextually and type-permitted maximally generic in its typing