If you use the term "constant" as of the version with plural quantifiers, you should mention it in the gadri page, and also you should explain how Lojban treats plural quantifiers. Otherwise I don't understand how a constant implies no implicit quantifier.
As for plural quantifiers, I once proposed "su'oi", "ro'oi", "no'oi" and "me'oi".
this means that the sentence "any term without an explicit outer quantifier is a constant" automatically implicates an outer quantifier {su'o},It shouldn't implicate that. "F{c} -> Ex F(x)" does not mean that "F(c)" and "Ex F(x)" have the same meaning, nor that "c" is just a shorthand for "Ex ...x...". Similarly xorlo says that "lo broda" is not just shorthand for "su'o lo broda".
I did not mean that "F(c)" and "Ex F(x)" have the same meaning, nor that "c" is just a shorthand for "Ex ...x...".When F(c) is said, it says implicitly that "Ex F(x)" is true.
and it contradicts to xorlo itself that there are no default quantifiers.Not just no default quantifiers. No implicit hidden quantifiers at all, The point is that "lo broda" is not a quantification of the bridi it appears in, the way "su'o lo broda" is.I agree to that point, and I consider that F(c) implies implicit hidden quantifiers, and conclude that it contradicts xorlo.