3 in notes

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.

• CLL 7.6
• jbovlaste

In notes:

gai'o

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