From ucleaar@ucl.ac.uk  Sat Mar  6 22:44:50 2010
Date:         Fri, 12 May 1995 19:04:43 +0100
From: ucleaar <ucleaar@ucl.ac.uk>
Subject:      Re: TEXT: le gunse ku joi le lorxu
To: Bob LeChevalier <lojbab@access.digex.net>
X-From-Space-Date: Sat May 13 02:37:17 1995
X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu
Message-ID: <sxdy40FmoAO.A.GeE.it0kLB@chain.digitalkingdom.org>

> But I was asking about the difference between {le} and {lo} (which
> seems to parallel the difference between {lei} and {loi}).

To decide whether {le cukta cu blanu} is true, first work out which
entity the speaker means {le cukta} to refer to, and then check whether
it is blanu.
To decide whether {lo cukta cu blanu} is true, inspect the intersection
of the set of all cukta and the set of all blanu. If the intersection
is non-empty, then the proposition is true. If it's empty, it's false.

{lo} works like an existentially quantified variable.
{le} works like a constant.

---
And