df-ro-quant - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > df-ro-quant

Definition df-ro-quant 378

Description: Definition of {ro broda} quantifier as used in colloquial Lojban utterances like {ro broda cu brode}.

**Assertion**
Ref	Expression
df-ro-quant	⊢ go ro bu'a cu bu'e gi ro da poi ke'a bu'a ku'o zo'u da bu'e

Distinct variable group: bu'a ,bu'e

This definition is referenced by: ro-quanti 379 ro-quantri 380