Message-Id: <199411170709.AA08188@nfs1.digex.net>
From: Gerald Koenig <jlk@NETCOM.COM>
Date: Thu Nov 17 02:09:40 1994
Subject:      Re: PROPOSAL Lambda...
Status: RO
X-From-Space-Date: Thu Nov 17 02:09:40 1994
X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu

Some questions from a lambda lamb:

1. Can "le ka xa'eda mamta " be rendered as
        a) the (in mind) property of motherhood  or
        b) the (in mind) property of being the class of all beings that
        constitute values for the x1 of mamta?

In other words , does the lambda derived notation express the
idea of an abstract class, consisting of xn, in the xa'e da formulation?

2. Is there any other way to express b.?
3. Would you point to some basic references on lambda notation?

If I understand what you're trying to do with your examples, I think
there is a need for a compact expression such as the lambda quantifier
you propose and I am for it.

djer