Wiki page Lojban Formulae changed
xorxes:
>
> Ix: x group & xF Iz: z group & xCz z d-G &
> z is Q of x
>
> There is some group of brodas x, such that
> there is some
> subgroup z among them, such that z are brode
> and Q in
> number.
>
> Your description above ("having found the group
> we can
> then enumerate it") would correspond more to
> something like
>
> Ix: x group & xF Iz: z group & xCz z d-G &
> "the brodes among the brodas are Q in number".
>
> I didn't formalize the second part because it
> would take me
> several lines, but in any case it is outside
> the scope of
> the Ix quantifier.
>
> In other words, is {Q lo broda cu brode}
>
> (1) "Among the brodas, there is at least one
> group that
> is Q in number and brodes"
>
> or
>
> (2) "There's a group among the brodas that
> brodes.
> They, the brodas that brode, are Q in
> number"
>
> Your definition corresponds to (1), but your
> talk points to (2).
>
Of course, part of this amounts to working out
when "having identified a subgroup" is realized.
I would say it was in "Iz: z group & xCz," you
would take it as coming only at the end of the
whole. The section on most likely Fs goes with
the first interpretation, which also is closer to
the Lojban pattern.