Date: Sun, 1 Feb 1998 12:49:52 -0500 (EST) Message-Id: <199802011749.MAA27136@locke.ccil.org> Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: goi (was Re: fuzzy bears) X-To: a.rosta@UCLAN.AC.UK X-cc: lojban@cuvmb.cc.columbia.edu To: John Cowan X-UIDL: 7863aa8e25e6e40f55293327e78d77ed Status: O X-Mozilla-Status: 8011 X-From-Space-Date: Mon Feb 02 14:38:32 1998 X-From-Space-Address: - >However, I'm a bit confused about how goi works. If you have X goi Y, >and one or both of them have *already* been assigned a referent, what >happens? Does the referent stay, or is it overridden and replaced by >the new referent? The intent (without checking the Boook to see how it was written up) when I coined "goi" was that one of the two sides would be a bare variable and the other would be an identifiable referent, in which case the bare variable gets assigned to the referent (whether ornot it has been assigned before). If neither side has a bare variable, goi seems inapprpriate. If both sides have bare variables there is a stretch to imagine why someone would be using it. The important thing is that it does not matter whether it is le sumti goi ko'a or ko'a goi le sumti, though the latter cannot get inside the outer quantifier if one is present, and thus can be used if you don't want to say "ku" on a quantified assignment: ko'a goi ci le cribe. lojbab