In a message dated 9/22/2001 3:20:07 PM Central Daylight Time, araizen@newmail.net writes:
Does "ce'u" bind to the selbri closest to it or does it have to be an Ah, Lojban terminology! {ce'u} is a bound variable and is bound by the shortest possible scope, in this case (since it is a lambda binder, not a quantifier), the bridi fragment after the {le}. When people were getting het up a while ago about the horriosities of {nei}, I suggested the same rule for that set, but someone convinced everybody that {nei} was closer to a quantifier than not and so should go with the fuller bridi. I forget how the problems with {nei} referring to itself were dealt with. The {le mamta be ce'u} move is more cute than useful, though it is shorter tha other ways of achieving the same effect, {le du'u makau mamta ce'u}, for example. And it is grammatical (why weird looking?), so needs an interpretation, of which it gets a useful one in this context. (It was also sure to get xorxes' -- and, when he looks at it, &'s -- goat, which makes it irresistible). I don't quite get what "da poi makau mamta ce'u" means "there is an x such that who is mother of ..." I guess I need a context, but a condition on {da} that has no place for {da} ("by father" without the {ke'a}? -- oops! Loglan, not Lojban; there is NO place for {da}) does not clarify matters at all, even if it is grammatical. {da poi mamta ce'u}? It's not a function of course, but it gets to the right sort of things. Of course, it also transforms in normal Lojban fashion into (right!) {le mamta be ce'u}. |