From bpfk-list+bncCK30vq5WENacv-wEGgT7vXfX@googlegroups.com Sun Mar 27 16:55:18 2011 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Q3znd-0007JE-SM; Sun, 27 Mar 2011 16:55:18 -0700 Received: by pwi1 with SMTP id 1sf508553pwi.16 for ; Sun, 27 Mar 2011 16:55:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:date:from:to:subject :message-id:mail-followup-to:references:mime-version:in-reply-to :user-agent:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=q623ZoJH1ny1HO9PC0DkIBd9M2tgdoQpPRlmJAG95Tc=; b=OGLPlchQFeGj8OtKU6tgSv/6YUNOflw4ZIPA2+zyzosJTeuIAcG7eogFkxKVBGxjNO ihw9fJMsigaCp/U6pM44/inQa+v6FTuEej9HHXUP8KTv2zzsruqrqzPAcFTNmJHFAMGv +XlSFaJWVgPrS7MwRsNeu/ZkRyCWK4bQI5e1s= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type:content-disposition; b=RUHGo8SDSazHAIPu+7uwACsLb0QsezVFKW7qCZdb/1cKCEPi16Ok3hDJbQ3mGkauRi AjTLp0u4ostOu8RUcTx6ATKxPImlSEteADu4yDvTg1998W9cyVapW4cSc3iP8ZAFFqpw vOQps8mCGV97NQAEiqiep06WUuqmEUdcU30Ug= Received: by 10.142.224.21 with SMTP id w21mr268479wfg.54.1301270102482; Sun, 27 Mar 2011 16:55:02 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.142.44.4 with SMTP id r4ls4721490wfr.1.p; Sun, 27 Mar 2011 16:55:01 -0700 (PDT) Received: by 10.143.13.13 with SMTP id q13mr3199469wfi.37.1301270101875; Sun, 27 Mar 2011 16:55:01 -0700 (PDT) Received: by 10.143.13.13 with SMTP id q13mr3199468wfi.37.1301270101842; Sun, 27 Mar 2011 16:55:01 -0700 (PDT) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id u26si3603768wfc.5.2011.03.27.16.55.00 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 27 Mar 2011 16:55:00 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Q3znQ-0007GZ-59 for bpfk-list@googlegroups.com; Sun, 27 Mar 2011 16:55:00 -0700 Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Q3znP-0007GS-Kg for bpfk@lojban.org; Sun, 27 Mar 2011 16:54:59 -0700 Date: Sun, 27 Mar 2011 16:54:59 -0700 From: Robin Lee Powell To: bpfk@lojban.org Subject: Re: [bpfk] Uniqueness across quantification. Message-ID: <20110327235459.GN14415@digitalkingdom.org> Mail-Followup-To: bpfk@lojban.org References: <20110327235147.GM14415@digitalkingdom.org> MIME-Version: 1.0 In-Reply-To: <20110327235147.GM14415@digitalkingdom.org> User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=nobody@digitalkingdom.org Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: X-Google-Group-Id: 972099695765 List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline >From IRC: < Hussell> ci da poi prenu ce'e ci de poi zdani zo'u da xabju pa de Does that work? Is it equivalent to {ci remna cu xabju pa lo ci zdani}? -Robin On Sun, Mar 27, 2011 at 04:51:47PM -0700, Robin Lee Powell wrote: > > In {ci remna cu xabju pa zdani}, we have 3 houses total, one for > each person, due to distributivity. But as far as I can tell, the > red book does not specificy if each of those houses is distinct; > they could all be living in one house, or sharing 2, or one each, > there's no way to tell. Worse, there's no way to explicitely mark > one case or the other. > > 1. Am I missing something? > > 2. Is there a decent, short way to handle this rigorously? {ro le > ci zdani cu se xabju pa le ci remna .i je re le ci remna cu xabju pa > le ci zdani} is the best I've found, and it's pretty shitty. > > 3. If the answer to #2 is no, does this seem worthy of explicitely > handling? If so, what solution do you propose? > > I note http://dag.github.com/cll/16/7/ for your consideration, as > that seems the only relevant section. I imagine {po'o} could be > used here, perhaps with the termset trick shown there. > > -Robin > > -- > http://singinst.org/ : Our last, best hope for a fantastic future. > Lojban (http://www.lojban.org/): The language in which "this parrot > is dead" is "ti poi spitaki cu morsi", but "this sentence is false" > is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ > > -- > You received this message because you are subscribed to the Google Groups "BPFK" group. > To post to this group, send email to bpfk-list@googlegroups.com. > To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com. > For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en. > -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "BPFK" group. To post to this group, send email to bpfk-list@googlegroups.com. To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en.