Received: from mail-bw0-f61.google.com ([209.85.214.61]:48567)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIycn8S8DhDpseP2BBoEPLY5-A@googlegroups.com>)
	id 1RWTat-00075t-Ha; Fri, 02 Dec 2011 05:56:10 -0800
Received: by bkbzt19 with SMTP id zt19sf2889513bkb.16
        for <multiple recipients>; Fri, 02 Dec 2011 05:55:55 -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;
        bh=L8mUA/WcLPtvfDnnNSUDkPG3AoM3WLJ0JlTWJu3WXK0=;
        b=zSw59QWV1kQ2/NFCRb0amYured092SqxiH8JGeOIPjDibNO1thElVm5C8tUTmfSMa2
         wIHeYzoGWmm1QV6+KJFcuO0GNq4tPG1V95+EagrLtc5c33XTTSEBRHdVCGmy7mXnDILg
         JR88lkVB28AYTcQR8u3jO2LgfNdexB0tb2p/I=
Received: by 10.204.41.201 with SMTP id p9mr1193358bke.18.1322834153278;
        Fri, 02 Dec 2011 05:55:53 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.130.207 with SMTP id u15ls19656740bks.0.gmail; Fri, 02 Dec
 2011 05:55:52 -0800 (PST)
Received: by 10.204.145.80 with SMTP id c16mr72275bkv.2.1322834152185;
        Fri, 02 Dec 2011 05:55:52 -0800 (PST)
Received: by 10.204.145.80 with SMTP id c16mr72273bkv.2.1322834152160;
        Fri, 02 Dec 2011 05:55:52 -0800 (PST)
Received: from mail-bw0-f54.google.com (mail-bw0-f54.google.com [209.85.214.54])
        by gmr-mx.google.com with ESMTPS id 6si3348855bkv.1.2011.12.02.05.55.52
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 02 Dec 2011 05:55:52 -0800 (PST)
Received-SPF: pass (google.com: domain of mturniansky@gmail.com designates 209.85.214.54 as permitted sender) client-ip=209.85.214.54;
Received: by mail-bw0-f54.google.com with SMTP id t2so5720416bka.27
        for <lojban@googlegroups.com>; Fri, 02 Dec 2011 05:55:52 -0800 (PST)
MIME-Version: 1.0
Received: by 10.204.154.130 with SMTP id o2mr11161172bkw.138.1322834151888;
 Fri, 02 Dec 2011 05:55:51 -0800 (PST)
Received: by 10.204.224.11 with HTTP; Fri, 2 Dec 2011 05:55:51 -0800 (PST)
In-Reply-To: <CAO7tK2fH0ACodKJe7Hhwi8t_ivjiANg7d5cqEukudq6fRTZJXQ@mail.gmail.com>
References: <CAO7tK2eVfy5iEv4Qy5HWhhVu+ATV3nzUJS=yqKR-tR3Tp6vG6Q@mail.gmail.com>
	<20111126154114.GC27177@gonzales>
	<CAO7tK2d9HQKweQJ_RE67GS-+hr=tEL_bzsZgEUfdCavxyOpLXQ@mail.gmail.com>
	<20111126182915.GC15113@gonzales>
	<CAO7tK2fSavtz6QA1dJB0Nh7ZWC9_ucLMWdkC4Kzk2aQK9xpVrQ@mail.gmail.com>
	<20111126214806.GB19833@gonzales>
	<CAO7tK2cu1S5eGm9F21kDd6rN548CXdPqeTwEU5X4tD=OjctEfA@mail.gmail.com>
	<20111129030444.GA26300@gonzales>
	<CAO7tK2f3vj9sesm1XEOm4KArdxuKgAT84Whpn-D4HiaTFQXPWQ@mail.gmail.com>
	<20111129225808.GA19818@gonzales>
	<20111201021703.GL2886@gonzales>
	<CAO7tK2fH0ACodKJe7Hhwi8t_ivjiANg7d5cqEukudq6fRTZJXQ@mail.gmail.com>
Date: Fri, 2 Dec 2011 08:55:51 -0500
Message-ID: <CAKOEKkQ9BTSKScFmx5iKm7DdODOPbshM1MOpkqmGHRehytKFwQ@mail.gmail.com>
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
From: Michael Turniansky <mturniansky@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: mturniansky@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of mturniansky@gmail.com designates 209.85.214.54 as permitted sender)
 smtp.mail=mturniansky@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: multipart/alternative; boundary=0015175d0796b8581f04b31c53e5
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

--0015175d0796b8581f04b31c53e5
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

2011/12/1 Jorge Llamb=EDas <jjllambias@gmail.com>

> On Wed, Nov 30, 2011 at 11:17 PM, Martin Bays <mbays@sdf.org> wrote:
>
> > I'm not seeing any solutions other than either (a) choosing one of (i)
> > and (ii), and declaring the other disallowed; (b) just accepting this a=
s
> > an ugly exception to the wide "scope" of description sumti.
> >
> > I don't like either of these.
> >
> > Any better ideas?
>
> Define better where the quantifier that binds a variable implicitly
> goes. Is "da" just equivalent to "su'o da" in the same position where
> it first occurs (in which case the scope of "su'o" is determined by
> this position only) or is "da" bound by a quantifier with scope wide
> enough to encompass all following occurrences of "da" (in which case
> it may not be equivalent to "su'o da" in the same position)? The two
> criteria give the same results for very simple cases, but different
> results for slightly more complicated ones. I don't think anyone ever
> bothered to define a proper rule for this.
>
>
  My personal opinion is that, in the absence of an explicit prenex, "da"
should probably be considered "su'oda" and the scope of that definition of
da is all physcially following  bridi in that sentence that are on the same
level or below (including bridi tails, if it was used in the main bridi),
and (if used in the main bridi) all subsequent sentences that are linked by
an .i{X}bo.... but I am probably wrong.
              --gejyspa

--=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.


--0015175d0796b8581f04b31c53e5
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><br>
<div class=3D"gmail_quote">2011/12/1 Jorge Llamb=EDas <span dir=3D"ltr">&lt=
;<a href=3D"mailto:jjllambias@gmail.com">jjllambias@gmail.com</a>&gt;</span=
><br>
<blockquote style=3D"BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex=
; PADDING-LEFT: 1ex" class=3D"gmail_quote">
<div class=3D"im">On Wed, Nov 30, 2011 at 11:17 PM, Martin Bays &lt;<a href=
=3D"mailto:mbays@sdf.org">mbays@sdf.org</a>&gt; wrote:<br><br>&gt; I&#39;m =
not seeing any solutions other than either (a) choosing one of (i)<br>&gt; =
and (ii), and declaring the other disallowed; (b) just accepting this as<br=
>
&gt; an ugly exception to the wide &quot;scope&quot; of description sumti.<=
br>&gt;<br>&gt; I don&#39;t like either of these.<br>&gt;<br>&gt; Any bette=
r ideas?<br><br></div>Define better where the quantifier that binds a varia=
ble implicitly<br>
goes. Is &quot;da&quot; just equivalent to &quot;su&#39;o da&quot; in the s=
ame position where<br>it first occurs (in which case the scope of &quot;su&=
#39;o&quot; is determined by<br>this position only) or is &quot;da&quot; bo=
und by a quantifier with scope wide<br>
enough to encompass all following occurrences of &quot;da&quot; (in which c=
ase<br>it may not be equivalent to &quot;su&#39;o da&quot; in the same posi=
tion)? The two<br>criteria give the same results for very simple cases, but=
 different<br>
results for slightly more complicated ones. I don&#39;t think anyone ever<b=
r>bothered to define a proper rule for this.<br>
<div>
<div></div>
<div class=3D"h5">=A0</div></div></blockquote>
<div>=A0 My personal opinion is that, in the absence of an explicit=A0prene=
x, &quot;da&quot; should probably be considered &quot;su&#39;oda&quot; and =
the scope of that definition of da is all physcially following =A0bridi in =
that sentence=A0that are on the same level or below (including bridi=A0tail=
s, if it was used=A0in the main bridi), and (if used in the main bridi) all=
 subsequent sentences that are linked by an .i{X}bo.... but I am probably w=
rong.</div>

<div>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 --gejyspa</div>
<div>=A0</div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.<br />



--0015175d0796b8581f04b31c53e5--