Anselmisms and gadro

[Pycyn@aol.com]

In logic, the article-like objects function like quantifiers, with variables. 
 The stock form is "the x such that Fx."  The corresponding Lojban would be 
"le da da broda" then (maybe with a separator between the das).  But Lojban, 
of course, does not exactly replicate this version but drops the das 
altogether, "le broda."  With more complicated predicates, the variable 
becomes more important, "the x such that Fyx" can be handled in Lojban with 
conversion, "le se broda y," say.  But what about genuine and functioning 
complexity?  Though there are several intervening levels of complexity, the 
one I am now working with and can not make any headway on is
"the x such that it is not possible that someone conceive that there is a y 
greater than x"  conversions and collapsed or permuted tanru cannot be used 
here as the scopes of the various operators (possibility, conception, 
quantifiers) are crucial in the argument this leads up to.  Suggestions (and, 
best of all, citations from the Red Book on how to do it legally) would be 
most welcome.
pc