Return-Path: <cbmvax!uunet!CUVMA.BITNET!LOJBAN>
Message-Id: <9201090853.AA17694@relay1.UU.NET>
Date: Thu Jan  9 10:59:00 1992
Reply-To: CJ FINE <cbmvax!uunet!BRADFORD.AC.UK!C.J.Fine>
Sender: Lojban list <cbmvax!uunet!CUVMA.BitNet!pucc.PRINCETON.EDU!LOJBAN>
From: CJ FINE <cbmvax!uunet!BRADFORD.AC.UK!C.J.Fine>
Subject:      logical connection
X-To:         Lojban list <lojban@cuvmb.cc.columbia.edu>
To: John Cowan <cowan@SNARK.THYRSUS.COM>,
        Eric Raymond <eric@SNARK.THYRSUS.COM>,
        Eric Tiedemann <est@SNARK.THYRSUS.COM>
Status: RO
X-From-Space-Date: Thu Jan  9 10:59:00 1992
X-From-Space-Address: cbmvax!uunet!CUVMA.BITNET!LOJBAN

A simple question of semantics:

In a logical connection with an unspecified sumti, are the branches of
the connection to be construed with the SAME value for the sumti or are
they independently unspecified?

i.e. If
        mi klama la lidz. .e la bradfrd.
is true, it follows that
        mi klama la lidz. zo'e .ije mi klama la bradfrd. zo'e
but does the stronger claim follow that
        su'oda zo'u mi klama la lidz. da .ije mi klama la bradfrd. da
?