Received: from mail-pz0-f61.google.com ([209.85.210.61]:41918)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhDvkfH2BBoEF3fPYQ@googlegroups.com>)
	id 1RXQCW-0002ov-95; Sun, 04 Dec 2011 20:30:51 -0800
Received: by dajx4 with SMTP id x4sf3756838daj.16
        for <multiple recipients>; Sun, 04 Dec 2011 20:30:42 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id:references
         :mime-version:content-type:content-disposition:in-reply-to:x-pgp-key
         :x-pgp-keyid:x-cunselcu'a-valsi:user-agent: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;
        bh=5zLReUhPCAXmoq+CY3Q5vraXYwGKMbadK3xTi1T8Bvs=;
        b=N3MC05OxccHeK9PyauyMIzOSKv5Z2fx8dDGOTDMtNaneu9Jt0+upSP/ZI0SBQtxJ4n
         hGGhxPK9tm2tvyZSwy5gGbxPEXfKUX1JTZwuci+CAnJw9CLiM+7fNLps6tvTmpev0g3D
         Iox37b3BfW+GNj9UjEfdpaROJ1vGrYNNd1txc=
Received: by 10.68.54.136 with SMTP id j8mr2225492pbp.3.1323059439058;
        Sun, 04 Dec 2011 20:30:39 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.14.101 with SMTP id o5ls22097461pbc.4.gmail; Sun, 04 Dec
 2011 20:30:38 -0800 (PST)
Received: by 10.68.56.163 with SMTP id b3mr20562424pbq.0.1323059438303;
        Sun, 04 Dec 2011 20:30:38 -0800 (PST)
Received: by 10.68.56.163 with SMTP id b3mr20562423pbq.0.1323059438291;
        Sun, 04 Dec 2011 20:30:38 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id j5si11736113pbi.0.2011.12.04.20.30.38
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 04 Dec 2011 20:30:38 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) client-ip=192.94.73.19;
Received: from gonzales.homelinux.org (root@sverige.freeshell.org [192.94.73.4])
	by sdf.lonestar.org (8.14.5/8.14.3) with ESMTP id pB54Ubnq029665
	for <lojban@googlegroups.com>; Mon, 5 Dec 2011 04:30:37 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RXQCL-0007T3-2J
	for lojban@googlegroups.com; Sun, 04 Dec 2011 23:30:37 -0500
Date: Sun, 4 Dec 2011 23:30:37 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
Message-ID: <20111205043037.GC10776@gonzales>
References: <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>
 <CAO7tK2f4A_E4SOXgR4W4hdE9jOL6Hq+pymtkLVjG0ehmTpHRPw@mail.gmail.com>
 <20111204014942.GC11790@gonzales>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="yLVHuoLXiP9kZBkt"
Content-Disposition: inline
In-Reply-To: <20111204014942.GC11790@gonzales>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: matne
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of mbays@sdf.org designates 192.94.73.19 as
 permitted sender) smtp.mail=mbays@sdf.org
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>
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /


--yLVHuoLXiP9kZBkt
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Saturday, 2011-12-03 at 20:49 -0500 - Martin Bays <mbays@sdf.org>:

> * Saturday, 2011-12-03 at 21:21 -0300 - Jorge Llamb=EDas <jjllambias@gmai=
l.com>:
>=20
> > Then forethought and afterthought connectives would give different
> > results when quantifiers are involved.
>=20
> Yes.
>=20
> > I don't think that's what the designers intended when coming up with
> > their rules though.
>=20
> I couldn't answer to that. All I can say is that the rule I have in mind
> (and code) - always export to the closest prenex - seems coherent and
> simple, and as far as I can tell is in full accordance with the
> baseline.

=2E..at least until you bring tenses into the picture.

It now looks like my goal, which was to find a semantics for the logical
part of lojban which is consistent with CLL and which isn't abhorrent,
is doomed to failure.

Short version of the following: you're right, again.

Long version:

The CLL mandates:

(i) {pu broda ba} =3D=3D {pu ba broda} (10.13.7)

which if we're to understand tags as being exported to a prenex,
forces us to equate {pu broda} with {pu ku broda};

(ii) {pu broda .i je pu brode} =3D=3D {ge pu broda gi pu brode} (14.18.1)

which hence blows out of the water the idea that we can consider all
exportation to be to the closest prenex, because that would give
{pu ku pu ku zo'u broda .i je brode}.

So tags and tagged terms really must be understood as being *bridi*
operators.

Meanwhile, we also have
(iii) {da}-bindings survive throughout a statement
    (I can't actually find anything clearly stating this, other than
    16.10.5, which is incomprehensible, and 16.14.1, which also makes
    little sense; but it seems to be the common understanding of CLL)

But then we have to declare that quantifier scope always beats tag
scope, because the former are exported to the prenex of the statement
while the latter affect only the current bridi. That's horrible in
itself, and moreover it means we can't have {na ku} interacting properly
with both quantifiers and tags.

So something has to give.

I see two ways to proceed
(a): ignore (i); treat selbri tags distinctly from tagged terms - the
latter export to the prenex, while the former bind tightly to the selbri
(i.e. {pu broda} =3D=3D {broda be pu ku} rather than {pu ku broda}).

(b): work as if each sentence had its own virtual^1 prenex.

(b), which I believe is what you doi xorxes have been advocating all
along, certainly leads to the simplest and most intuitive semantics.
My only remaining worry is that it's giving up quite a bit of power
- the ability to add on the fly to a prenex with scope over preceding
and succeeding sentences.

But I suspect it is the best solution. Maybe one day we could add some
magic scope-jump cmavo to let you add to the statement prenex, if it
turns out to be sufficiently useful.

Martin


^1 it has to be virtual, lest it conflict with statement's prenex -
although I don't see any immediate problem with the following grammar
change, which would have the same effect, and give us more options for
explicit specification of scope:

statement-1 <- statement-2 (I joik-jek (prenex? statement-2)?)*

statement-2 <- statement-3 (I (jek / joik)? (stag)? BO free*
(prenex? statement-2)?)?



--yLVHuoLXiP9kZBkt
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iEYEARECAAYFAk7cSO0ACgkQULC7OLX7LNbv/QCg2AC3hgEqPUjZNGGIUydgEPhf
kzwAoJW5ZcncuLHr7QEdGhKH3NIDX2+9
=/6po
-----END PGP SIGNATURE-----

--yLVHuoLXiP9kZBkt--