Return-Path: Received: from kantti.helsinki.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0ry0dc-0009acC; Sun, 9 Apr 95 20:19 EET DST Received: from fiport.funet.fi (fiport.funet.fi [128.214.109.150]) by kantti.helsinki.fi (8.6.11p1+Emil1.1/8.6.5) with ESMTP id UAA28404 for ; Sun, 9 Apr 1995 20:19:03 +0300 Received: from LISTSERV.FUNET.FI (LISTSERV@FIPORT) by FIPORT.FUNET.FI (PMDF V4.3-13 #2494) id <01HP55L7HEJ4006UYM@FIPORT.FUNET.FI>; Sun, 09 Apr 1995 17:18:51 +0200 (EET) Date: Sat, 08 Apr 1995 19:42:28 +0100 From: ucleaar Subject: Re: More about scopes In-reply-to: (Your message of Thu, 06 Apr 95 12:42:46 EDT.) Sender: Lojban list To: Veijo Vilva Reply-to: ucleaar Message-id: <01HP55L8X4K6006UYM@FIPORT.FUNET.FI> X-Envelope-to: veion@XIRON.PC.HELSINKI.FI Content-transfer-encoding: 7BIT X-To: lojban@cuvmb.cc.columbia.edu MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Length: 1405 Lines: 41 Jorge: > Ok. Now we need a default quantifier for {ko'a}. I propose {ro}, because > I see {ko'a} as a kind of {le}, just like {da} is a kind of {lo}. More precisely, {koha} is like {lei}. > For example: > le ci nanmu cu bevri pa tanxe goi ko'a > i ko'a blanu > Each of the three men carries one box, boxes which will be > referred to as "ko'a". > Each of the boxes is blue. > (And not: At least one of the boxes is blue. Of course, I could say > {su'o ko'a blanu} for that.) I don't think this is quite right. I think that irrespective of whether the men carried different boxes, the following is true le ci nanmu cu bevri pa tanxe goi koha i koha tanxe pamei I agree your {i koha blanu} entails that each box is blue. I think {suho koha blanu} would mean exactly the same; since koha has already been equated with a singleton set of boxes, "at least one of the members of the onesome of boxes" is going to be the same as "each of the members of the onesome of boxes. I reckon your example has a logical form like this: Ev, v is a cimei, Aw if w is in v then: Ex, x is a pamei, [let x be called "koha"] Ay if y is in x then w carries y, Az, if z is in x [i.e. koha] then z is blue > What is Livagian? I never heard of it before. It's my own invented language [it used to be called Sta]. That's why I apologized for mentioning it. --- And