Received: from mail-bw0-f61.google.com ([209.85.214.61]:64300)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRD44fD2BBoEbwnweA@googlegroups.com>)
	id 1RXObb-0002JE-Fz; Sun, 04 Dec 2011 18:48:39 -0800
Received: by bkcje16 with SMTP id je16sf1664956bkc.16
        for <multiple recipients>; Sun, 04 Dec 2011 18:48:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=hNX8YTmdQZZriyflEeG39LJeJ5fx6sn8udoEVhXgbIk=;
        b=NH505tyTB0OJQ0gp0Rl7m6z7W5xgbRiqeiRENInWqEPzVUwREo11epG3pVV+EjSZ6I
         LX092zuhEoB/Aam660f6OzTdr/819g6OUwxYMb2D7IHbBsSIyojcUHTiUXW04lhut6G/
         HCEltPlsKRo9lpZY76rOjgoCl5SDwcjjg4nhE=
Received: by 10.204.130.27 with SMTP id q27mr2398843bks.30.1323053304853;
        Sun, 04 Dec 2011 18:48:24 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.56.81 with SMTP id x17ls4669771bkg.1.gmail; Sun, 04 Dec
 2011 18:48:23 -0800 (PST)
Received: by 10.204.156.205 with SMTP id y13mr2317359bkw.3.1323053303635;
        Sun, 04 Dec 2011 18:48:23 -0800 (PST)
Received: by 10.204.156.205 with SMTP id y13mr2317358bkw.3.1323053303620;
        Sun, 04 Dec 2011 18:48:23 -0800 (PST)
Received: from mail-lpp01m010-f46.google.com (mail-lpp01m010-f46.google.com [209.85.215.46])
        by gmr-mx.google.com with ESMTPS id 6si7442261bkv.1.2011.12.04.18.48.23
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 04 Dec 2011 18:48:23 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.46 as permitted sender) client-ip=209.85.215.46;
Received: by lagp5 with SMTP id p5so842697lag.19
        for <lojban@googlegroups.com>; Sun, 04 Dec 2011 18:48:23 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.105.211 with SMTP id go19mr4706547lab.31.1323053303188;
 Sun, 04 Dec 2011 18:48:23 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sun, 4 Dec 2011 18:48:23 -0800 (PST)
In-Reply-To: <20111205013854.GB10776@gonzales>
References: <20111203175028.GC12482@gonzales>
	<CAO7tK2eDAX-HZMubt9k5coxY=AjnxbQj67t8-2TF-sTcsnrtug@mail.gmail.com>
	<20111203204015.GA11790@gonzales>
	<CAO7tK2cMTBoMY2DUjpj00CORvUQOFo2PVoGvNOYu2Yv9ti3vEg@mail.gmail.com>
	<20111203233303.GB11790@gonzales>
	<CAO7tK2f4A_E4SOXgR4W4hdE9jOL6Hq+pymtkLVjG0ehmTpHRPw@mail.gmail.com>
	<20111204014942.GC11790@gonzales>
	<CAO7tK2d92MaRx2tO5rfzvT97dzxfBrZ9Q8XL_kgoH7VCF+i_NA@mail.gmail.com>
	<20111204172803.GA3091@gonzales>
	<CAO7tK2ctfXMV6chvWKTLo+Rjbdgj0MdJdwQM62qN+meuT_8Ttg@mail.gmail.com>
	<20111205013854.GB10776@gonzales>
Date: Sun, 4 Dec 2011 23:48:23 -0300
Message-ID: <CAO7tK2ckOHBWJ6Ee8k42xwFXX8VO28s92c2URaRYxNEuWf9kxw@mail.gmail.com>
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.215.46 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

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} =3D=3D
> =A0 =A0{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} =3D=3D
> =A0 =A0{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

--=20
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@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.