Received: from mail-iy0-f189.google.com ([209.85.210.189]:41435) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RYUEM-0000Qi-P8; Wed, 07 Dec 2011 19:01:15 -0800 Received: by iafi7 with SMTP id i7sf1173540iaf.16 for ; Wed, 07 Dec 2011 19:01:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:x-yahoo-newman-id:x-yahoo-newman-property :x-ymail-osg:x-yahoo-smtp:references:in-reply-to :x-apple-yahoo-original-message-folder:mime-version:message-id :x-mailer:from:x-apple-yahoo-replied-msgid:subject:date: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:content-transfer-encoding; bh=/NEqj2krPmOlrk8KSFl7bi7EYRI6TgtCv0EBhErYLIc=; b=ltdPBKuUROGQUOJ6rqfFhmUVXYk/NnJ17gm1KjDx86avPX9xRplnGWvl3UgFRhuaoU tB/eF+5mUmUqh//c0GgEts9UUQe2LwWa8n/bwXt8kDTmKf0g6HEqbc5VxSH2PDjYjLnm EenqO5Vh/Xyuv5CLIpCJtVSfG4RUDui7aRGRQ= Received: by 10.50.94.132 with SMTP id dc4mr218854igb.14.1323313257664; Wed, 07 Dec 2011 19:00:57 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.231.184.10 with SMTP id ci10ls2728408ibb.5.gmail; Wed, 07 Dec 2011 19:00:56 -0800 (PST) Received: by 10.42.170.65 with SMTP id e1mr3067367icz.3.1323313256708; Wed, 07 Dec 2011 19:00:56 -0800 (PST) Received: by 10.42.170.65 with SMTP id e1mr3067366icz.3.1323313256685; Wed, 07 Dec 2011 19:00:56 -0800 (PST) Received: from nm10.bullet.mail.ne1.yahoo.com (nm10.bullet.mail.ne1.yahoo.com. [98.138.90.73]) by gmr-mx.google.com with SMTP id h7si655275icn.2.2011.12.07.19.00.56; Wed, 07 Dec 2011 19:00:56 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.138.90.73 as permitted sender) client-ip=98.138.90.73; Received: from [98.138.90.50] by nm10.bullet.mail.ne1.yahoo.com with NNFMP; 08 Dec 2011 03:00:56 -0000 Received: from [98.138.89.196] by tm3.bullet.mail.ne1.yahoo.com with NNFMP; 08 Dec 2011 03:00:56 -0000 Received: from [127.0.0.1] by omp1054.mail.ne1.yahoo.com with NNFMP; 08 Dec 2011 03:00:56 -0000 X-Yahoo-Newman-Id: 352616.50979.bm@omp1054.mail.ne1.yahoo.com Received: (qmail 98231 invoked from network); 8 Dec 2011 03:00:56 -0000 X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: n7pILnYVM1mK4herdiUPxXpnx9msoqtadkKcscu1wShRdxg DTSRXobxu2C.UBAk_kjfPfeICNO9JNtqvgI88nhP7M1N3jwoE9Rm__Lb16sw QqORyLYB.zvOp3C9LT4batDHw5TWU.UrJ7YY1dcMUqMYI6UCo4AEJr8GPT_K 2gKAL0Ve0zCeeRfxGI.yvLGi.i14PXY1WrgXTP0pIif9X_LHJ5k3LuT6ZCjf H_SV3YU.iN5SS6GMB_OVB6_67VhbS5x.EVvxld_08NZvN1X1n93ctUB2Xzz4 3.5f8XwS52iXUSOT0riAkoHh4GDlYfyQJbELqKZQfX2SH6_W22BOqcuEPjmZ tu5IeLI5vS4IulMi5tPZLTPoqXk8iViSUPv9EgBHASIFln8raZWxfponMD8z Gf3hbI3GbNok68X9rMq_wu7CHfUcGaztZ5ExPYfFLbjKwJrZ7bs.3qnT.4XJ D1pIt0qHJ_38jKmmoOtIf3xcBlbFL9NYn7XExGUknqZs.SdTN7CaBZql4Tx6 Q9UMg7FU- X-Yahoo-SMTP: xvGyF4GswBCIFKGaxf5wSjlg3RF108g- Received: from [10.0.1.2] (kali9putra@99.92.108.41 with xymcookie) by smtp106-mob.biz.mail.gq1.yahoo.com with SMTP; 07 Dec 2011 19:00:54 -0800 PST References: <20111201021703.GL2886@gonzales> <20111203175028.GC12482@gonzales> <20111203204015.GA11790@gonzales> <20111203233303.GB11790@gonzales> <20111204014942.GC11790@gonzales> <20111204172803.GA3091@gonzales> <1323097700.59133.YahooMailRC@web81308.mail.mud.yahoo.com> <1323271781.23349.YahooMailRC@web81306.mail.mud.yahoo.com> In-Reply-To: X-Apple-Yahoo-Original-Message-Folder: AAlojbanery Mime-Version: 1.0 (iPad Mail 8G4) Message-Id: <611800B1-334B-4D32-B782-6ED30F1E8E62@yahoo.com> X-Mailer: iPad Mail (8G4) From: "John E. Clifford" X-Apple-Yahoo-Replied-Msgid: 1_12138991_AHXHjkQAAF+oTt/fMANkLGAZep0 Subject: Re: [lojban] semantic parser - tersmu-0.1rc1 Date: Wed, 7 Dec 2011 21:02:42 -0600 To: "lojban@googlegroups.com" X-Original-Sender: kali9putra@yahoo.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.138.90.73 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=Apple-Mail-1--738701400 Content-Transfer-Encoding: 7bit X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --Apple-Mail-1--738701400 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1 As I said, this was for one narrow case, where there were no further compli= cations. With more quantifiers (or modes) in play, more problems arise. I= am, for example, inclined to think that your test sentence is simply illeg= itimate, since the {su'o plise} is within the scope of different quantifie= rs and thus is not guaranteed to have the same instantiation. If you do wa= nt this to be legitimate, then you have, in fact, "there are some apples o= f which every boy ate some, but not every girl did" (disjunctive predicatio= n hypothesized). Otherwise, the collapse is meaning-changing, a no-no in t= his game. To reconstruct as you would, does not correspond to a real colla= pse rule, for it treats a quantifier phrase like name. And do you really wa= nt to talk about all boys and girls everywhere? >>>=20 >>>=20 Sent from my iPad On Dec 7, 2011, at 3:48 PM, Jorge Llamb=EDas wrote: > On Wed, Dec 7, 2011 at 12:29 PM, John E Clifford w= rote: >> To sum up one part of this discussion, if there is a variable (with or w= ithout a >> quantifier) in a compound predication, it can only come from an underly= ing >> compound sentence of the form Qx(Fx X Gx) or something equivalent to tha= t, which >> turns out to be just AxFx & AxGx) and ExFx v ExGx. Other quantifiers ca= nnot be >> collapsed at all. Now, as to how situation is represented in Lojban, th= e only >> problem case is a plain {da} with a disjunctive predication. But since = this is >> equivalent to the (relatively) prenex form, the rule to use that prenex = for all{{ >> cases holds. >=20 > I'm not sure I follow your reasoning. Consider for example: >=20 > (1) ro nanla .e nai ro nixli pu citka su'o plise > "Every boy and not every girl ate some apple." >=20 > My reading of that is: >=20 > (2) ge ro da poi nanla su'o de poi plise zo'u da de citka gi na ku ro > da poi nixli su'o de poi plise zo'u da de citka > "For every x who is a boy there is some y that is an apple such that > x ate y and it is not the case that for every x who is a girl there is > some y that is an apple such that x ate y." >=20 > You seem to be saying that it's either: > . > (3) su'o da poi plise zo'u ge ro de poi nanla zo'u de da citka gi na > ku ro de poi nixli zo'u de da citka > "There is some x that is an apple such that for every y who is a boy, > y ate x and such that it is not the case that for every y who is a > girl y ate x." >=20 > or: >=20 > (4) ro da poi nanla ku'o ro de poi nixli ku'o su'o di poi plise zo'u > ge da di citka gi na ku zo'u de di citka > "For every x who is a boy and every y who is a girl there is some z > that is an apple such that x ate z and it is not the case that y ate > z" >=20 > or perhaps: >=20 > (5) ro da poi nanla ku'o su'o de poi plise zo'u ge da de citka gi na > ku su'o di poi nixli zo'u di de citka > "For every x who is a boy there is some y that is an apple such that > x ate y and it is not the case that for every z who is a girl z ate y" >=20 > You seem to be saying that "su'o plise" for some reason must have > scope over ".e", but I'm not sure where you would put "ro nanla" and > "ro nixli" with respect to ".e" (and thus with respect to "su'o > plise"). >=20 > I hope we all agree that in "ro nanla cu citka su'o plise" it is "ro > nanla" that has scope over "su'o plise", so readings (3) and (5), > which make "su'o plise" have scope over at least one of the preceding > "ro", seem quite wrong to me. As for reading (4), with "ro nixli" > having scope over the negation, it's also weird. >=20 > mu'o mi'e xorxes >=20 > --=20 > 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@googlegr= oups.com. > For more options, visit this group at http://groups.google.com/group/lojb= an?hl=3Den. >=20 --=20 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@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den. --Apple-Mail-1--738701400 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1
As I said, this was for one narrow cas= e, where there were no further complications.  With more quantifiers (= or modes) in play, more problems arise.  I am, for example, inclined t= o think that your test sentence is simply illegitimate, since the {su'o pli= se}  is within the scope of different quantifiers and thus is not guar= anteed to have the same instantiation.  If you do want this to be legi= timate,  then you have, in fact, "there are some apples of which every= boy ate some, but not every girl did" (disjunctive predication hypothesize= d).  Otherwise, the collapse is meaning-changing, a no-no in this game= .  To reconstruct as you would, does not correspond to a real collapse= rule, for it treats a quantifier phrase like name. And do you really want = to talk about all boys and girls everywhere?



Sent from my iPad

On Dec 7, 2011, at 3:48 PM, Jorge Llamb=EDas <jjllambias@gmail.com> wrote:

<= div>
On Wed, Dec 7, 2011 at 12:29= PM, John E Clifford <kali9putra= @yahoo.com> wrote:
To sum = up one part of this discussion, if there is a variable (with or without a
quantifier) in a comp= ound predication,  it can only come from an underlying
compound sentence of the form Qx(Fx= X Gx) or something equivalent to that, which
turns out to be just AxFx & AxGx) and ExFx v = ExGx.  Other quantifiers cannot be
collapsed at all.  Now, as to how situation is rep= resented in Lojban, the only
problem case is a plain {da} with a disjunctive predication.  = ;But since this is
e= quivalent to the (relatively) prenex form, the rule to use that prenex for = all{{
cases holds.

I'm not sure I follow your rea= soning. Consider for example:

(1)  ro= nanla .e nai ro nixli pu citka su'o plise
"Every boy and = not every girl ate some apple."

My reading= of that is:

(2)  ge ro da poi nanla = su'o de poi plise zo'u da de citka gi na ku ro
da poi nixli= su'o de poi plise zo'u da de citka
"For every x who is a = boy there is some y that is an apple such that
x ate y and = it is not the case that for every x who is a girl there is
= some y that is an apple such that x ate y."

You seem to be saying that it's either:
.
(3) su'o da poi plise zo'u ge ro de poi nanla zo'u de da citka gi na
ku ro de poi nixli zo'u de da citka
"There is s= ome x that is an apple such that for every y who is a boy,
= y ate x and such that it is not the case that for every y who is agirl y ate x."

or:

(4) ro da poi nanla ku'o ro de poi nixli ku'o su'o di poi= plise zo'u
ge da di citka gi na ku zo'u de di citka=
"For every x who is a boy and every y who is a girl there is som= e z
that is an apple such that x ate z and it is not the ca= se that y ate
z"

or perhap= s:

(5) ro da poi nanla ku'o su'o de poi pl= ise zo'u ge da de citka gi na
ku su'o di poi nixli zo'u di = de citka
"For every x who is a boy there is some y that is= an apple such that
x ate y and it is not the case that for= every z who is a girl z ate y"

You seem t= o be saying that "su'o plise" for some reason must have
sco= pe over ".e", but I'm not sure where you would put "ro nanla" and"ro nixli" with respect to ".e" (and thus with respect to "su'o

plise").

I hope we all agree t= hat in "ro nanla cu citka su'o plise" it is "ro
nanla" that= has scope over "su'o plise", so readings (3) and (5),
whic= h make "su'o plise" have scope over at least one of the preceding"ro", seem quite wrong to me. As for reading (4), with "ro nixli"
having scope over the negation, it's also weird.

mu'o mi'e xorxes

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

--
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@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--Apple-Mail-1--738701400--