Received: from mail-pz0-f61.google.com ([209.85.210.61]:46333)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhDn84r3BBoEJpxEbQ@googlegroups.com>)
	id 1RZC19-0005Tc-RS; Fri, 09 Dec 2011 17:46:29 -0800
Received: by dajx4 with SMTP id x4sf3848220daj.16
        for <multiple recipients>; Fri, 09 Dec 2011 17:46:17 -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=DYJWfiixfYjB4pYF7+vpN16+y9ZFeljtbDn+OmHAQ3E=;
        b=EqcZljSQcCE3KT/6pgsRiPJmsLwWw8Wj+GAbpwwOu4BBdjMM6B2X8KEelBeKSHH8BP
         fC8Uij/PqZXSijNFoOQskts+9RDOTut70NAW1gC0BOyk7DYIg0sIP0oKkjaUEsvR4RTu
         trSVa9yxLERmczt9Hz5CvRwCl2juQ/5OsBueI=
Received: by 10.68.73.228 with SMTP id o4mr860089pbv.17.1323481575209;
        Fri, 09 Dec 2011 17:46:15 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.74.199 with SMTP id w7ls13653634pbv.7.gmail; Fri, 09 Dec
 2011 17:46:14 -0800 (PST)
Received: by 10.68.191.2 with SMTP id gu2mr3415871pbc.0.1323481574542;
        Fri, 09 Dec 2011 17:46:14 -0800 (PST)
Received: by 10.68.191.2 with SMTP id gu2mr3415870pbc.0.1323481574531;
        Fri, 09 Dec 2011 17:46:14 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id j5si15181336pbi.0.2011.12.09.17.46.14
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 09 Dec 2011 17:46:14 -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 pBA1kC17011020
	for <lojban@googlegroups.com>; Sat, 10 Dec 2011 01:46:13 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RZBcN-0000en-HJ
	for lojban@googlegroups.com; Fri, 09 Dec 2011 20:20:47 -0500
Date: Fri, 9 Dec 2011 20:20:47 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
Message-ID: <20111210012047.GE12304@gonzales>
References: <1323373742.18817.YahooMailRC@web81306.mail.mud.yahoo.com>
 <CAO7tK2dghkmpansUrBCZY7HkcH0sBGWzDpv+d8hB7ge9MuV9Ag@mail.gmail.com>
 <C261B304-A8BC-4955-9016-72D1F24B5471@yahoo.com>
 <CAO7tK2eRL4D7Yy-Sz=JUcTtnwuyKt_tnBx9XjhRkzpgQmB2igw@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="6v9BRtpmy+umdQlo"
Content-Disposition: inline
In-Reply-To: <CAO7tK2eRL4D7Yy-Sz=JUcTtnwuyKt_tnBx9XjhRkzpgQmB2igw@mail.gmail.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: rokci
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:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /


--6v9BRtpmy+umdQlo
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Friday, 2011-12-09 at 12:24 -0300 - Jorge Llamb=EDas <jjllambias@gmail.co=
m>:

> On Thu, Dec 8, 2011 at 8:39 PM, John E. Clifford <kali9putra@yahoo.com> w=
rote:
> > Yes, every particular quantifier ( and universal, for that matter) is t=
he same in function, but surely not in content, a {su'o plise} in one sente=
nce points to different apples from that in another sentence. And similarly=
 for a universal, if we are restricting our domain to just the immediately =
relevant groups, as seems to be the (unacknowledged) case here.
>=20
> Is that also what bothers you, that a predicate may have different
> extensions in different instances of use due to domain of discourse
> shifts? This is a separate issue, and then you should also be worried
> about "la .djan. .e la .pol. cu prami la .meris." expanding as "la
> .djan. cu prami la .meris. .i je la .pol. cu prami la .meris.", since
> we can conceive of contexts in which "la .meris." has different
> referents in the expanded form but not in the collapsed form. The
> helper smelter rules assume a fixed domain of discourse so that "su'o
> plise" (or "ro plise", or "no plise") keeps the same domain every
> time.

Another side-issue (which I maybe shouldn't mention but will anyway) is
what {PA plise} abbreviates. Is it short for {PA da poi plise} where
{da} isn't already bound - which saves at least two syllables and saves
us having to bind a new da? Or is it short for {PA lo plise} - which
just saves one syllable? The usage here, lojbanic history and the
demands of efficiency all point towards the former, but the gadri
proposal currently states the latter.

If that change is to be reverted, I think it would be best to do it
sooner rather than later.

Martin

--6v9BRtpmy+umdQlo
Content-Type: application/pgp-signature

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

iEYEARECAAYFAk7is+8ACgkQULC7OLX7LNaEMwCfR/e/vg1et3LNhEXmdF2UiSN2
vG0AoLOqiKW1eoDMOfVS0p5p4zrfdHyr
=UQSy
-----END PGP SIGNATURE-----

--6v9BRtpmy+umdQlo--