RE: [jboske] XS 4.1: the gist

["And Rosta" <a.rosta@lycos.co.uk>]

I wrote:
> QUANTIFIERS are all underlyingly of the form {N fi'u D}. 
> If D is {ro(PA)} then Q means "N out of all PA things that are broda" 
> If D is not {ro(PA)} then ro is still the number of things that
> are broda, but Q means "N in every D things that are broda" 
> 
> Q can be expanded to
> ( N / D ) * (ro)C
> "N in every D of all C=ro things that are broda."
> 
> .... but I'm not sure how best to Lojban that 

I forgot to cover quantification over nths of things, e.g. over
apple halves. A solution is to allow N itself to be a fraction:

( ( Nn / Nd ) / D ) * (ro)C

I still have no suggestions about how to lexicalize it.

--And.