Re: [lojban] semantic parser - tersmu-0.1rc1

[Jorge Llambías <jjllambias@gmail.com>]

On Sun, Dec 4, 2011 at 10:38 PM, Martin Bays <mbays@sdf.org> wrote:
>
> The question I had in mind is whether
> {ge broda ro da gi brode vau da} is equivalent to
> (i) {ge broda ro da gi brode vau su'o da} ==
>    {ge ro da su'o de zo'u broda da de gi su'o da zo'u brode da}
> or to
> (ii) {ge broda ro da da gi brode da} ==
>    {ge ro da zo'u broda da da gi su'o da zo'u brode da}
>
> ; I understand you as advocating (i) and declaring (ii) to be obviously
> wrong, but I don't understand why you consider (ii) to be going against
> the syntax.

Consider "ge broda ro da gi brode su'o da vau da" instead. It makes no
sense to me that the final "da" is bound simultaneously by two
separate quantifiers.

The shared terms have to be either constants, in which case they will
have the same value in each connectand, or a variable not bound in
either connectand, so that it's the same variable in both connectands,
or a quantifier, in which case it's the same quantifier in each
connectand. It can't be one variable bound by two quantifiers, or a
variable for one connectand and a quantifier at the same time for the
other connectand. It just doesn't make sense.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.