Received: from mail-bw0-f61.google.com ([209.85.214.61]:47850)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRCB-ur2BBoEnyPR9g@googlegroups.com>)
	id 1RWzpl-0002Rc-1s; Sat, 03 Dec 2011 16:21:39 -0800
Received: by bkcje16 with SMTP id je16sf823267bkc.16
        for <multiple recipients>; Sat, 03 Dec 2011 16:21:25 -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=Z/1OxS48gr1SbFVysqNErQ6JTZtygniikGC+0gJUkA0=;
        b=lBdsQqd7ToN+l1al61Rb/RWltV0McznIeOko+1I18tWR4zUHgMN2SZQxDDxbawC5s3
         iSdZB8YyqjpaAm2EnlumLMdV1VtcL2E4EHF18Vn0G+7mey13xARuZQj/cST7ifPipRKJ
         27EikJunrYQMe1dRnGSAN1aqTpHuIkSaAD9Sg=
Received: by 10.205.125.17 with SMTP id gq17mr2152674bkc.3.1322958081408;
        Sat, 03 Dec 2011 16:21:21 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.200.144 with SMTP id ew16ls3113577bkb.2.gmail; Sat, 03 Dec
 2011 16:21:20 -0800 (PST)
Received: by 10.204.156.205 with SMTP id y13mr2035658bkw.3.1322958080334;
        Sat, 03 Dec 2011 16:21:20 -0800 (PST)
Received: by 10.204.156.205 with SMTP id y13mr2035657bkw.3.1322958080306;
        Sat, 03 Dec 2011 16:21:20 -0800 (PST)
Received: from mail-lpp01m010-f52.google.com (mail-lpp01m010-f52.google.com [209.85.215.52])
        by gmr-mx.google.com with ESMTPS id j1si8739916bky.2.2011.12.03.16.21.20
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 03 Dec 2011 16:21:20 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.52 as permitted sender) client-ip=209.85.215.52;
Received: by laah2 with SMTP id h2so2370728laa.11
        for <lojban@googlegroups.com>; Sat, 03 Dec 2011 16:21:19 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.112.10 with SMTP id im10mr2539260lab.2.1322958079174; Sat,
 03 Dec 2011 16:21:19 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sat, 3 Dec 2011 16:21:18 -0800 (PST)
In-Reply-To: <20111203233303.GB11790@gonzales>
References: <CAO7tK2cu1S5eGm9F21kDd6rN548CXdPqeTwEU5X4tD=OjctEfA@mail.gmail.com>
	<20111129030444.GA26300@gonzales>
	<CAO7tK2f3vj9sesm1XEOm4KArdxuKgAT84Whpn-D4HiaTFQXPWQ@mail.gmail.com>
	<20111129225808.GA19818@gonzales>
	<20111201021703.GL2886@gonzales>
	<CAO7tK2fH0ACodKJe7Hhwi8t_ivjiANg7d5cqEukudq6fRTZJXQ@mail.gmail.com>
	<20111203175028.GC12482@gonzales>
	<CAO7tK2eDAX-HZMubt9k5coxY=AjnxbQj67t8-2TF-sTcsnrtug@mail.gmail.com>
	<20111203204015.GA11790@gonzales>
	<CAO7tK2cMTBoMY2DUjpj00CORvUQOFo2PVoGvNOYu2Yv9ti3vEg@mail.gmail.com>
	<20111203233303.GB11790@gonzales>
Date: Sat, 3 Dec 2011 21:21:18 -0300
Message-ID: <CAO7tK2f4A_E4SOXgR4W4hdE9jOL6Hq+pymtkLVjG0ehmTpHRPw@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.52 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.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

On Sat, Dec 3, 2011 at 8:33 PM, Martin Bays <mbays@sdf.org> wrote:
> * Saturday, 2011-12-03 at 19:06 -0300 - Jorge Llamb=EDas <jjllambias@gmai=
l.com>:
>>
>> I could just as well have said "ro da poi verba cu pencu lo nazbi be
>> da". It didn't occur to me you would think the version with "ro" =A0 was
>> more clear.
>
> No more or less clear in that case... if we assume that there's only one
> nose per da, then I don't see any difference between {lo}, {ro},
> {piro}/{ro'oi}, {su'o} or {piza'u}/{su'oi} here. Arguably, {lo} is
> a little misleading, as it asks you to use pragmatics when there's no
> need for it - it might lead you to expect that some unusual metaphorical
> meaning of nazbi was in use.

Assuming that there's only one nose per da is a pragmatic assumption,
but the presence of the quantifier conspires against making that
assumption.

>> ro da poi verba cu pilno lo re xance be da lo nu kavbu lo bolci
>
> {ro da poi verba cu pilno pi ro xance be da [ku noi re mei ku'o] lo nu
> kavbu lo bolci}
>
> s/pi ro/ro'oi/ if you prefer.

"ro'oi" is not equivalent to "pi ro" though. "ro'oi" would say that
each child uses the left hand, and the right hand, and both hands.
"ro'oi da broda" entails "ro da broda" and "ro lo re mei cu broda" and
"ro lo ci mei cu broda" and ... not just "pi ro lo ro mei cu broda"
(assuming I'm getting "pi ro" right).


>> =A0 (prenex1) ge (prenex2) da da broda gi (prenex3) ko'a da broda
>
> Once we've got that far, I think it's clear. The two subsentences are
> handled separately - i.e. can, donkey anaphora aside, be handled in
> either order - each producing a proposition. So there must be two
> existential quantifiers here, one for each subsentence.

Then forethought and afterthought connectives would give different
results when quantifiers are involved. I don't think that's what the
designers intended when coming up with their rules though.

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.