Date: Sat, 27 Sep 2014 17:11:34 -0700 (PDT)
From: Romaji #### <nxt101@gmail.com>
To: lojban@googlegroups.com
Cc: mbays@sdf.org
Message-Id: <c747a00d-4e71-4c76-92ac-7f46c0f87309@googlegroups.com>
In-Reply-To: <5349359c-f884-4976-a3e1-b0610eabeff6@googlegroups.com>
References: <20140927163121.GO28734@gonzales>
 <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com>
 <20140927192952.GS28734@gonzales>
 <bf1a257f-4b62-4d03-ad77-5bbfb1b91870@googlegroups.com>
 <20140927195841.GT28734@gonzales>
 <5349359c-f884-4976-a3e1-b0610eabeff6@googlegroups.com>
Subject: Re: [lojban] Re: tersmu 0.2
MIME-Version: 1.0
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; 
	boundary="----=_Part_1732_1209101356.1411863094494"
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_1732_1209101356.1411863094494
Content-Type: text/plain; charset=UTF-8

Some kinda  subfunction?

On Saturday, September 27, 2014 8:03:28 PM UTC-4, TR NS wrote:
>
>
>
> On Saturday, September 27, 2014 3:59:15 PM UTC-4, Martin Bays wrote:
>>
>>
>> Yes. Here's a simpler example: 
>>
>> ro da poi verba cu prami lo mamta be da 
>>
>> FA x1:(verba(_)). mamta(f0(x1),x1) 
>> FA x1:(verba(_)). prami(x1,f0(x1)) 
>>
>> ro da poi ke'a verba ku'o zo'u li ma'o fyno mo'e da lo'o mamta da 
>> .i ro da poi ke'a verba ku'o zo'u da prami li ma'o fyno mo'e da lo'o 
>>
>>
>> Here, we interpret {lo mamta be da} as a function from children to their 
>> mothers; the first proposition expresses this, and the second is then 
>> the main statement. 
>>
>
> Sorry if I am being daft, but what is `f0`? 
>
>

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

------=_Part_1732_1209101356.1411863094494
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Some kinda &nbsp;subfunction?<br><br>On Saturday, Septembe=
r 27, 2014 8:03:28 PM UTC-4, TR NS wrote:<blockquote class=3D"gmail_quote" =
style=3D"margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-l=
eft: 1ex;"><div dir=3D"ltr"><br><br>On Saturday, September 27, 2014 3:59:15=
 PM UTC-4, Martin Bays wrote:<blockquote class=3D"gmail_quote" style=3D"mar=
gin:0;margin-left:0.8ex;border-left:1px #ccc solid;padding-left:1ex"><br>Ye=
s. Here's a simpler example:
<br>
<br>ro da poi verba cu prami lo mamta be da
<br>
<br>FA x1:(verba(_)). mamta(f0(x1),x1)
<br>FA x1:(verba(_)). prami(x1,f0(x1))
<br>
<br>ro da poi ke'a verba ku'o zo'u li ma'o fyno mo'e da lo'o mamta da
<br>.i ro da poi ke'a verba ku'o zo'u da prami li ma'o fyno mo'e da lo'o
<br>
<br>
<br>Here, we interpret {lo mamta be da} as a function from children to thei=
r
<br>mothers; the first proposition expresses this, and the second is then
<br>the main statement.
<br></blockquote><div><br></div><div>Sorry if I am being daft, but what is =
`f0`?&nbsp;</div><div><br></div></div></blockquote></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

------=_Part_1732_1209101356.1411863094494--