Re: [lojban] semantic parser - tersmu-0.1rc1

[John E Clifford <kali9putra@yahoo.com>]

To sum up one part of this discussion, if there is a variable (with or without a 
quantifier) in a compound 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 represented in Lojban, the 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.  





----- Original Message ----
From: Jorge Llambías <jjllambias@gmail.com>
To: lojban@googlegroups.com
Sent: Mon, December 5, 2011 3:37:54 PM
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1

On Mon, Dec 5, 2011 at 12:08 PM, John E Clifford <kali9putra@yahoo.com> wrote:
> In the final analysis, variants of ijeks.

ijeks plus tu'e-tu'u, or alternatively just geks.

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.

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