nago'i _GOhA* cmavo-compound

selbri: repeats preceding bridi while denying it as false; pro-assign values are unchanged.

On grammatical class:

bu'a: logically quantified predicate variable: some selbri 1.
bu'e: logically quantified predicate variable: some selbri 2.
bu'i: logically quantified predicate variable: some selbri 3.
co'e: elliptical/unspecified bridi relationship.
du: identity selbri; = sign; x₁ identically equals x₂, x₃, etc.; attached sumti refer to same thing.
go'a: pro-bridi: repeats a recent bridi (usually not the last 2).
go'e: pro-bridi: repeats the next to last bridi.
go'i: pro-bridi: preceding bridi; in answer to a yes/no question, repeats the claim, meaning yes.
go'o: pro-bridi: repeats a future bridi, normally the next one.
go'u: pro-bridi: repeats a remote past bridi.
mo: pro-bridi: bridi/selbri/brivla question.
nei: pro-bridi: repeats the current bridi.
no'a: pro-bridi: repeats the bridi in which this one is embedded.
cei'i (exp!): pro-bridi: the universal predicate
gai'o (exp!): pro-bridi: the empty predicate
gi'o'i (exp!): pro-bridi: in the second half of a bridi forethought connective expression, refers to the first half.
go'ai (exp!): last bridi (with its modifiers)
ku'ai'i (exp!): empty/vacuous selbri
xe'u (exp!): Abstraction variable indicator selbrisle.
go'ira'o (comp!): pro-bridi: preceding bridi; repeats claim as true, updating for speaker/listener change.
nago'i (comp!): selbri: repeats preceding bridi while denying it as false; pro-assign values are unchanged.

ra'o: flag GOhA to indicate pro-assignment context updating for all pro-assigns in referenced bridi.
cmavrgo'a: x₁ is the selma'o "GOhA".

brivla: v₁ is a morphologically defined predicate word signifying relation b₂ in language v₃.
re zei taulka: x₁ is a part of Lojban text representing rule 'tanru-unit-2' according to the first edition of the book 'The Complete Lojban Language'.