gai'o GOhA experimental cmavo

pro-bridi: the empty predicate

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


In notes:

cei'i (exp!)
pro-bridi: the universal 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