Received: from mail-pz0-f56.google.com ([209.85.210.56]:64075)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhD_msP2BBoEtaVa5A@googlegroups.com>)
	id 1RUGRa-0002SP-Co; Sat, 26 Nov 2011 03:29:27 -0800
Received: by pzk6 with SMTP id 6sf1307871pzk.1
        for <multiple recipients>; Sat, 26 Nov 2011 03:29:05 -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=gZK9ifXsIWEG6KG1UqIurf+5ydffa9YsKjImXt4tuHg=;
        b=XOHRRkIArq+Yj7XpDEgAJ+VRiQ9krOeogfHkzNX+2p2qN00qh+smCnN9db2PKwuZmJ
         8KDEKtZmpIYdamIgGx8W1ffh3t2swI8UbNkG9NPc4kStyTWp8NvHTx8JlxhweU3/MjzI
         r0stX9enraqj4enq9sdNOmHcUmCnnwkrRNLkY=
Received: by 10.68.38.166 with SMTP id h6mr1582838pbk.14.1322306943011;
        Sat, 26 Nov 2011 03:29:03 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.121.5 with SMTP id lg5ls6257192pbb.5.gmail; Sat, 26 Nov
 2011 03:29:02 -0800 (PST)
Received: by 10.68.59.229 with SMTP id c5mr14991214pbr.6.1322306942363;
        Sat, 26 Nov 2011 03:29:02 -0800 (PST)
Received: by 10.68.59.229 with SMTP id c5mr14991213pbr.6.1322306942355;
        Sat, 26 Nov 2011 03:29:02 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id lj6si3687600pbb.1.2011.11.26.03.29.02
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 26 Nov 2011 03:29:02 -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 pAQBT1Hs001918
	for <lojban@googlegroups.com>; Sat, 26 Nov 2011 11:29:02 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RUGRJ-0007hZ-HM
	for lojban@googlegroups.com; Sat, 26 Nov 2011 06:29:01 -0500
Date: Sat, 26 Nov 2011 06:29:01 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
Message-ID: <20111126112901.GA27177@gonzales>
References: <20111124044118.GF6112@gonzales>
 <CAO7tK2cfhJtrvLX1S6Mga_CJU2nLyt96_4DR=ygJksH3ixaamg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="J/dobhs11T7y2rNN"
Content-Disposition: inline
In-Reply-To: <CAO7tK2cfhJtrvLX1S6Mga_CJU2nLyt96_4DR=ygJksH3ixaamg@mail.gmail.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: lujvo
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: /


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

* Thursday, 2011-11-24 at 21:18 -0300 - Jorge Llamb=EDas <jjllambias@gmail.=
com>:

> On Thu, Nov 24, 2011 at 1:41 AM, Martin Bays <mbays@sdf.org> wrote:
> >
> > Probably not bugs:
> > =A0 =A0This might at first seem wrong:
> > =A0 =A0 =A0 =A0> na ku mi noi brode cu broda
> > =A0 =A0 =A0 =A0Prop:!(brode(mi) /\ broda(mi))
>=20
> It does seem wrong to me. A noi-clause is more like a presupposition,
> not directly part of the claim.
>=20
> I'd say it's more like:
>=20
> presupp Prop: brode(mi)
> main Prop: !broda(mi)

Actually: isn't that more what {voi} is (/should be) for?

{noi broda} is veridicial - it affects the truth conditions of the
claim, so it can't be scope-invariant.

{voi broda} is non-veridicial - it doesn't affect the truth conditions,
so is scope-invariant. It just gives hints to help the listener
understand the intended referents of the sumti it's attached to, by
noting that they satisfy broda (or appear to satisfy broda, this being
all that's relevant).

Martin

--J/dobhs11T7y2rNN
Content-Type: application/pgp-signature

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

iEYEARECAAYFAk7QzX0ACgkQULC7OLX7LNa9PQCg3DiSaPaUqWFQc2+S+xEBrYRy
GhwAn02eQHGEXICmyq/aPxDt3WCr18iD
=I5jA
-----END PGP SIGNATURE-----

--J/dobhs11T7y2rNN--