Date: Sat, 27 Sep 2014 17:03:28 -0700 (PDT)
From: TR NS <transfire@gmail.com>
To: lojban@googlegroups.com
Cc: mbays@sdf.org
Message-Id: <5349359c-f884-4976-a3e1-b0610eabeff6@googlegroups.com>
In-Reply-To: <20140927195841.GT28734@gonzales>
References: <20140927163121.GO28734@gonzales>
 <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com>
 <20140927192952.GS28734@gonzales>
 <bf1a257f-4b62-4d03-ad77-5bbfb1b91870@googlegroups.com>
 <20140927195841.GT28734@gonzales>
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_1439_1974246502.1411862608260"
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_1439_1974246502.1411862608260
Content-Type: text/plain; charset=UTF-8


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_1439_1974246502.1411862608260
Content-Type: text/html; charset=UTF-8

<div dir="ltr"><br><br>On Saturday, September 27, 2014 3:59:15 PM UTC-4, Martin Bays wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><br>Yes. 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 their
<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>

<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 email to <a href="mailto:lojban+unsubscribe@googlegroups.com">lojban+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href="mailto:lojban@googlegroups.com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href="http://groups.google.com/group/lojban">http://groups.google.com/group/lojban</a>.<br />
For more options, visit <a href="https://groups.google.com/d/optout">https://groups.google.com/d/optout</a>.<br />

------=_Part_1439_1974246502.1411862608260--