Received: from mail-ob0-f184.google.com ([209.85.214.184]:41733)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBCGLBN7VYMERBG7AWKDQKGQEJAVQ7KI@googlegroups.com>)
	id 1TsitW-0007ji-OJ; Tue, 08 Jan 2013 15:47:55 -0800
Received: by mail-ob0-f184.google.com with SMTP id 16sf730196obc.11
        for <multiple recipients>; Tue, 08 Jan 2013 15:47:40 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received:received-spf
         :x-yahoo-newman-property:x-yahoo-newman-id:x-ymail-osg
         :x-rocket-mimeinfo:x-mailer:references:message-id:date:from:reply-to
         :subject:to:in-reply-to:mime-version:x-original-sender
         :x-original-authentication-results:precedence:mailing-list:list-id
         :x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        bh=Dbku69ER31c9GD+Vx98b6yHnrjWu9ZmS4HvMpMqByTc=;
        b=VahnaC6A0ijKGj4cId6iv4jsFWdBMx6zLlMFWjykYnGEZ/ogPedapTbS0HRN28iVmI
         S2x46YdzrKWyD646kfQfwhgE4UGbxR5FSHbBsVFLN+7Iqr42G5kLeTA+5xx2vDKwrBfi
         y4IW2LyyulUCd88DwmcaoX8NzPs+HfqxMx4+VsF63G6djGJq3KXcYO7CGBxSwZ9ZJ4CO
         gw5ws0eO5q0dKQ/NV3GAVjNAww9orkf+8NcoBtC9hK6BoJFn9Bo5cSh5tRDfbZ/3N6D1
         4bJwC8oRD4GYCM+rJrxcFx0TOXqE2tVbQFDu8X2bf3C1KbCJDJTgIlv93EV63BbaVgtS
         XMtQ==
X-Received: by 10.49.116.34 with SMTP id jt2mr11781043qeb.38.1357688860375;
        Tue, 08 Jan 2013 15:47:40 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.49.85.193 with SMTP id j1ls679765qez.71.gmail; Tue, 08 Jan
 2013 15:47:38 -0800 (PST)
X-Received: by 10.224.198.196 with SMTP id ep4mr37723935qab.3.1357688858749;
        Tue, 08 Jan 2013 15:47:38 -0800 (PST)
X-Received: by 10.224.198.196 with SMTP id ep4mr37723934qab.3.1357688858733;
        Tue, 08 Jan 2013 15:47:38 -0800 (PST)
Received: from nm19.bullet.mail.bf1.yahoo.com (nm19.bullet.mail.bf1.yahoo.com. [98.139.212.178])
        by gmr-mx.google.com with SMTP id y1si7178660qco.0.2013.01.08.15.47.38;
        Tue, 08 Jan 2013 15:47:38 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.139.212.178 as permitted sender) client-ip=98.139.212.178;
Received: from [98.139.215.143] by nm19.bullet.mail.bf1.yahoo.com with NNFMP; 08 Jan 2013 23:47:38 -0000
Received: from [66.94.237.122] by tm14.bullet.mail.bf1.yahoo.com with NNFMP; 08 Jan 2013 23:47:38 -0000
Received: from [127.0.0.1] by omp1027.access.mail.mud.yahoo.com with NNFMP; 08 Jan 2013 23:47:38 -0000
X-Yahoo-Newman-Property: ymail-3
X-Yahoo-Newman-Id: 229319.46831.bm@omp1027.access.mail.mud.yahoo.com
Received: (qmail 5611 invoked by uid 60001); 8 Jan 2013 23:47:37 -0000
X-YMail-OSG: MAV6HZIVM1l7zTpfpChC_Lo9dKCXNEikvNraFK48NBXCqVX
 xeWoNE_rPkc6.enIBUBuDLQO0Ykuds7YJxqIpWtTgqTqwPVv2M3fCIylyHsp
 2L4ExoWuuv56KB9zooP16sK1e1CbT2jsZqY7BF43DQIVrf5vuefAe0gQRJ5M
 sAaVPE25hA90_C84Ekdv5BCLGr0LsxTOc5JjmfJ7f.RcgDKrk0za0IuqpTmi
 24bKa1.YLNYHKNpWME1lrvIe8QH7vxMMyaRkBpi9kWrivpWscoQyMLG1TN0F
 9t4JkGAriweiuAv_7y8erjW62n8akpiR8HW7mEZ2GQ9ru3jqNhjYsVlSvaV3
 xXxNg3vRRW0Yr9ygX5Bl7to71TatkDacXk5YWl3pbapTFjcnMgV.RRgr6nHB
 6eStx30wNHFlso3G7J0Znc_KRC9NiDhe4iyXGLFt.4TAcc_6uGdNjgEZlrhk
 v2mHmPCvkPYC8JQUc6xireyXZ6hA2l2EuX0pkNirra3J1mwtNnh5ibMop3yy
 Bj4CuSL_Ee9brACDVaA6HYirgKz4I
Received: from [99.92.108.194] by web184406.mail.bf1.yahoo.com via HTTP; Tue, 08 Jan 2013 15:47:37 PST
X-Rocket-MIMEInfo: 001.001,QmFzaWMgbG9naWM6IEtGYUdhID0.IFN4RngKRXhpc3RlbmNlIGlzIGEgcHJlZGljYXRlIGluIExvamJhbiAoYW5kIGFyZ3VhYmx5IGluIEVuZ2xpc2gsIGV0Yy4pLCB0aGlzIGlzIHdoeSBTIG9yIHdoYXRldmVyIHlvdSB1c2UgaXMgcHJvcGVybHkgY2FsbGVkIGFuIHBhcnRpY3VsYXIgcXVhbnRpZmllciwgbm90IGFuIGV4aXN0ZW50aWFsIG9uZS7CoCAKVGhlcmUgKm1heSogYmUgc29tZSBjb25mbGljdCBiZXR3ZWVuIGxvZyBhbmQgbGFuZyBoZXJlLCBhcyB0aGVyZSBvZnRlbiBpcywgYnV0IHRoZSBsb2cgc2kBMAEBAQE-
X-Mailer: YahooMailWebService/0.8.130.494
References: <CAEimHHBi1SpOunKv4yVgo4RO1=d8+T+H41UAbRHfhjrDvJ12tg@mail.gmail.com> <CAOQ8VDU2vZr5LWtEB6QiaSqJvcM9hX6STTvQSOzQyGwUdmO_dQ@mail.gmail.com> <CAOQ8VDUf80C0ag2aWGAqb3-sU=Jt4sjQFWK-T4L+m83n1=s=Kg@mail.gmail.com> <CAEimHHBP1ob0wQfaVNB2jCV3tV--QJc=0CH40dPm_4PMEq6p4A@mail.gmail.com> <CA+gZtgL6G3TnWJTK6bN8LgVDUrzgA1H95gmjbZ+Fbsghq=raZg@mail.gmail.com> <1357670696.88472.YahooMailNeo@web184401.mail.bf1.yahoo.com> <50EC7255.7000808@gmx.de> <1357673481.26665.YahooMailNeo@web184401.mail.bf1.yahoo.com> <20130108225420.GA14601@samsa.fritz.box>
Message-ID: <1357688857.4377.YahooMailNeo@web184406.mail.bf1.yahoo.com>
Date: Tue, 8 Jan 2013 15:47:37 -0800 (PST)
From: John E Clifford <kali9putra@yahoo.com>
Reply-To: lojban@googlegroups.com
Subject: Re: [lojban] searching
To: "lojban@googlegroups.com" <lojban@googlegroups.com>
In-Reply-To: <20130108225420.GA14601@samsa.fritz.box>
MIME-Version: 1.0
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.139.212.178 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass header.i=@yahoo.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>
Content-Type: multipart/alternative; boundary="1789658926-1579741510-1357688857=:4377"
X-Spam-Score: 1.5 (+)
X-Spam_score: 1.5
X-Spam_score_int: 15
X-Spam_bar: +
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  Basic logic: KFaGa => SxFx Existence is a predicate in Lojban
    (and arguably in English, etc.), this is why S or whatever you use is properly
    called an particular quantifier, not an existential one. There *may* be some
    conflict between log and lang here, as there often is, but the log side is
    pretty clear. [...] 
 
 Content analysis details:   (1.5 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (kali9putra[at]yahoo.com)
  1.5 RCVD_IN_NJABL_SPAM     RBL: NJABL: sender is confirmed spam source
                             [209.85.214.184 listed in combined.njabl.org]
  0.0 DKIM_ADSP_CUSTOM_MED   No valid author signature, adsp_override is
                             CUSTOM_MED
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 HTML_MESSAGE           BODY: HTML included in message
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature

--1789658926-1579741510-1357688857=:4377
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Basic logic: KFaGa =3D> SxFx
Existence is a predicate in Lojban (and arguably in English, etc.), this is=
 why S or whatever you use is properly called an particular quantifier, not=
 an existential one.=A0=20
There *may* be some conflict between log and lang here, as there often is, =
but the log side is pretty clear.




________________________________
 From: v4hn <me@v4hn.de>
To: lojban@googlegroups.com=20
Sent: Tuesday, January 8, 2013 4:54 PM
Subject: Re: [lojban] searching
=20
On Tue, Jan 08, 2013 at 11:31:21AM -0800, John E Clifford wrote:
> Always could; existence is a predicate, being there is the UD.
> So, {lo pavyseljirna cu broda} always implies {da pavyseljirna}
> but never (directly) {da poi pavyseljirna cu zasti}.

Could you please elaborate on that a bit?
Neither do I agree that existence is a predicate(not on the level
of semantical analysis), nor do I agree with the implications
you derive from {lo brode cu broda}.
But maybe I just didn't get you...


v4hn

--=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.


--1789658926-1579741510-1357688857=:4377
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<html><body><div style=3D"color:#000; background-color:#fff; font-family:ti=
mes new roman, new york, times, serif;font-size:12pt">Basic logic: KFaGa =
=3D&gt; SxFx<br>Existence is a predicate in Lojban (and arguably in English=
, etc.), this is why S or whatever you use is properly called an particular=
 quantifier, not an existential one.&nbsp; <br>There *may* be some conflict=
 between log and lang here, as there often is, but the log side is pretty c=
lear.<br><div><span><br></span></div><div><br></div>  <div style=3D"font-fa=
mily: times new roman, new york, times, serif; font-size: 12pt;"> <div styl=
e=3D"font-family: times new roman, new york, times, serif; font-size: 12pt;=
"> <div dir=3D"ltr"> <font face=3D"Arial" size=3D"2"> <hr size=3D"1">  <b><=
span style=3D"font-weight:bold;">From:</span></b> v4hn &lt;me@v4hn.de&gt;<b=
r> <b><span style=3D"font-weight: bold;">To:</span></b> lojban@googlegroups=
.com <br> <b><span style=3D"font-weight: bold;">Sent:</span></b> Tuesday, J=
anuary 8, 2013
 4:54 PM<br> <b><span style=3D"font-weight: bold;">Subject:</span></b> Re: =
[lojban] searching<br> </font> </div> <br>
On Tue, Jan 08, 2013 at 11:31:21AM -0800, John E Clifford wrote:<br>&gt; Al=
ways could; existence is a predicate, being there is the UD.<br>&gt; So, {l=
o pavyseljirna cu broda} always implies {da pavyseljirna}<br>&gt; but never=
 (directly) {da poi pavyseljirna cu zasti}.<br><br>Could you please elabora=
te on that a bit?<br>Neither do I agree that existence is a predicate(not o=
n the level<br>of semantical analysis), nor do I agree with the implication=
s<br>you derive from {lo brode cu broda}.<br>But maybe I just didn't get yo=
u...<br><br><br>v4hn<br><br><br> </div> </div>  </div></body></html>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.<br />



--1789658926-1579741510-1357688857=:4377--