Received: from mail-bw0-f61.google.com ([209.85.214.61]:57861)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRCozMX2BBoE9SCz2A@googlegroups.com>)
	id 1RUQbq-0008SW-Vc; Sat, 26 Nov 2011 14:20:41 -0800
Received: by bkat2 with SMTP id t2sf5913555bka.16
        for <multiple recipients>; Sat, 26 Nov 2011 14:20:26 -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=33gKUjMFeEuyUYxukxU0f+hZzZOt5Lpjs0K6DcM9mlo=;
        b=zjb7d3wV9fhAwopbZKP8a2TB74aLg1o2NUImNp1XfPfu5AgMW+tLzFpLzOmemRmHfd
         XOh0g9LWuYMCnl/yXx/YYJFqfu7n3GOKrruxELJJvLvjQMiHaXXewPzAgP56GTBgvcxl
         TYDC90xCx2sMOyrrk9FtSSkttPnvwVyj6b1PQ=
Received: by 10.205.114.13 with SMTP id ey13mr4253606bkc.32.1322346024452;
        Sat, 26 Nov 2011 14:20:24 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.33.136 with SMTP id h8ls5017536bkd.0.gmail; Sat, 26 Nov
 2011 14:20:23 -0800 (PST)
Received: by 10.205.133.193 with SMTP id hz1mr594422bkc.7.1322346023244;
        Sat, 26 Nov 2011 14:20:23 -0800 (PST)
Received: by 10.205.133.193 with SMTP id hz1mr594421bkc.7.1322346023229;
        Sat, 26 Nov 2011 14:20:23 -0800 (PST)
Received: from mail-lpp01m010-f50.google.com (mail-lpp01m010-f50.google.com [209.85.215.50])
        by gmr-mx.google.com with ESMTPS id z7si1809077fam.1.2011.11.26.14.20.23
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 26 Nov 2011 14:20:23 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.50 as permitted sender) client-ip=209.85.215.50;
Received: by lahi5 with SMTP id i5so254948lah.23
        for <lojban@googlegroups.com>; Sat, 26 Nov 2011 14:20:22 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.102.138 with SMTP id fo10mr24090331lab.44.1322345537877;
 Sat, 26 Nov 2011 14:12:17 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sat, 26 Nov 2011 14:12:17 -0800 (PST)
In-Reply-To: <20111126214806.GB19833@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>
	<CAO7tK2fSavtz6QA1dJB0Nh7ZWC9_ucLMWdkC4Kzk2aQK9xpVrQ@mail.gmail.com>
	<20111126214806.GB19833@gonzales>
Date: Sat, 26 Nov 2011 19:12:17 -0300
Message-ID: <CAO7tK2cu1S5eGm9F21kDd6rN548CXdPqeTwEU5X4tD=OjctEfA@mail.gmail.com>
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.215.50 as permitted sender)
 smtp.mail=jjllambias@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: text/plain; charset=ISO-8859-1
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

On Sat, Nov 26, 2011 at 6:48 PM, Martin Bays <mbays@sdf.org> wrote:
>
> Yes, I know you prefer to use constant kinds in these situations, but
> would you *allow* temporally varying interpretations of {lo bradi} in
> {ro roi mi'o jinga fi lo bradi}?

("ro roi ku")

> And if I say 'please'?

I allow it in the same sense I allow temporally varying
interpretations of "mi" in "ro roi ku do viska mi". "mi" refers to one
thing, but it is also true that each time you see me you see something
different.


> There's still the question of what presuppositions are being made when
> the {lo} appears within a quantifier. But maybe that isn't so obscure.
> If we treat our generalised quantifiers in the obvious naive way, saying
> that in {PA da poi broda zo'u lo brode be da cu brodi} the prenexed
> clause is interpreted once for each {da} in the extension of broda and
> then the resulting set of truth values is checked against the semantics
> of PA, then we precisely need that {lo brode be da} has a referent for
> each such da, so we need the presupposition to hold for each such da.
>
> So in other words, we have a presupposition for each "occurrence" of
> {lo}, and we consider quantifiers to induce a (often infinite) family of
> such occurrences.
>
> Sound right?

I think we do need something like that when "lo" creates a function, yes.

mu'o mi'e xorxes

-- 
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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.