Received: from mail-pz0-f56.google.com ([209.85.210.56]:53066)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhCbyMb2BBoE1jG9UA@googlegroups.com>)
	id 1RUUjc-0002Bb-8E; Sat, 26 Nov 2011 18:45:00 -0800
Received: by pzk6 with SMTP id 6sf2040254pzk.1
        for <multiple recipients>; Sat, 26 Nov 2011 18:44:46 -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=dHc5vm77Ex+sJo7t63ZAJ1sGGSGaNm9mS9XCm05lmB8=;
        b=Gud14rqtZleukpTxENqIN190tt9lrxi88Vs+Gmsuy7j2aqtSn8GSjcVXZoc37uM6Jg
         wZBaNQzhmCfpEoaEqtCVOAh4nnsyc+ofirUoXKc841CHmhyfhWPth82/HhPPg+ijxueZ
         eH5u08DnBOPUV653WKn2ys1RqFrZ0hDuPOQbI=
Received: by 10.68.12.36 with SMTP id v4mr1966263pbb.4.1322361883703;
        Sat, 26 Nov 2011 18:44:43 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.26.8 with SMTP id h8ls5727342pbg.1.gmail; Sat, 26 Nov 2011
 18:44:43 -0800 (PST)
Received: by 10.68.28.135 with SMTP id b7mr18159333pbh.8.1322361883264;
        Sat, 26 Nov 2011 18:44:43 -0800 (PST)
Received: by 10.68.28.135 with SMTP id b7mr18159332pbh.8.1322361883250;
        Sat, 26 Nov 2011 18:44:43 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id j5si8335289pbi.0.2011.11.26.18.44.43
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 26 Nov 2011 18:44:43 -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 pAR2ig7V029771
	for <lojban@googlegroups.com>; Sun, 27 Nov 2011 02:44:42 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RUUjS-0001Rd-Dd
	for lojban@googlegroups.com; Sat, 26 Nov 2011 21:44:42 -0500
Date: Sat, 26 Nov 2011 21:44:42 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
Message-ID: <20111127024442.GH19833@gonzales>
References: <20111124044118.GF6112@gonzales>
 <CAO7tK2cfhJtrvLX1S6Mga_CJU2nLyt96_4DR=ygJksH3ixaamg@mail.gmail.com>
 <20111126112901.GA27177@gonzales>
 <CAO7tK2eVfy5iEv4Qy5HWhhVu+ATV3nzUJS=yqKR-tR3Tp6vG6Q@mail.gmail.com>
 <20111126154114.GC27177@gonzales>
 <CAO7tK2d9HQKweQJ_RE67GS-+hr=tEL_bzsZgEUfdCavxyOpLXQ@mail.gmail.com>
 <20111126182915.GC15113@gonzales>
 <0D2E649E-01DD-4DDC-B7E8-0A58E1B9E6B2@yahoo.com>
 <20111127020424.GG19833@gonzales>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="kHRd/tpU31Zn62xO"
Content-Disposition: inline
In-Reply-To: <20111127020424.GG19833@gonzales>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: vibna
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.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /


--kHRd/tpU31Zn62xO
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Saturday, 2011-11-26 at 21:04 -0500 - Martin Bays <mbays@sdf.org>:

> * Saturday, 2011-11-26 at 17:40 -0600 - John E. Clifford <kali9putra@yaho=
o.com>:
>=20
> > On Nov 26, 2011, at 12:29 PM, Martin Bays <mbays@sdf.org> wrote:
> >=20
> > > I don't see why it should be even when the description doesn't
> > > explicitly mention bound variables; e.g. why {ro verba cu prami le
> > > mamta} shouldn't be a reasonable abbreviation of {ro verba cu prami le
> > > mamta be ri}, or why in {pu je ba ku mi'o jinga fi le bradi} we
> > > should have {le bradi} getting the same referents both times.
> >=20
> > It is a linguistic precondition of the collapse of parallel sentences
> > marked by {je}.
>=20
> I suppose it just seems odd to me that we don't allow the unfilled x2 of
> mamta in {ro da poi verba cu prami le mamta} to refer to da.

Actually, I've changed my mind. There's a very good reason to disallow
it. Having the listener glork even a constant is difficult enough;
it would quickly get ridiculous if we had them having to glork a skolem
function with domain the product of the domains of all quantifiers
(including tense quantifiers) the description sumti appears in the scope
of.

Martin

--kHRd/tpU31Zn62xO
Content-Type: application/pgp-signature

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

iEYEARECAAYFAk7RpBoACgkQULC7OLX7LNZD1ACghK42OsKdLTsrnp1aNoVpI01Q
tJkAn1RyfJNrfUdL/ngXoTaoFm+aRBRr
=xHlD
-----END PGP SIGNATURE-----

--kHRd/tpU31Zn62xO--