From lojban+bncCMvjp-TQBRCVqtLeBBoESs6y8w@googlegroups.com Sun Apr 25 12:17:06 2010 Received: from mail-ww0-f61.google.com ([74.125.82.61]) by chain.digitalkingdom.org with esmtp (Exim 4.71) (envelope-from ) id 1O67K7-0002uG-2y; Sun, 25 Apr 2010 12:17:05 -0700 Received: by wwb34 with SMTP id 34sf1364960wwb.16 for ; Sun, 25 Apr 2010 12:16:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:received:mime-version:received :in-reply-to:references:from:date:message-id:subject:to :x-original-authentication-results:x-original-sender:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=MIvhMNsYPPrtQd4WHYSRRYshGHO+BqbvTDl2iL+f1Us=; b=zWyXAT9Plz7eHqn+iyWWulCjFD6R4wgTDnW+/4QZHg+6hbjLW0vYv2Nu4k+HYEba7a k4YIUz/XvU3DlqxW/94FA0PtEgTRiH1iEddG1Om3L6S5Fag1pShpyZf6/qBZjW/nbzC7 IR3oWNps+vYsBLmkZoSiFo/yWV9WS7zZR9Dsk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-authentication-results :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-transfer-encoding; b=HWxDxbpbj/2F2EyTg/4yZd+x0x9xLY7R0Urg99x/MoOyB79jB0REyCWwlEXGy+gIbs TD4bUiqBtXKPBdzn22ZfLskU6P22TGR1VtV5t6YicLFCkesLl+UHW9JF7tYz5IvhVi4w aK5AUC7TqNj1BFUPpf4cozAe4BbLAMCq8AZSY= Received: by 10.223.61.200 with SMTP id u8mr841041fah.23.1272222997149; Sun, 25 Apr 2010 12:16:37 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.35.68 with SMTP id o4ls13804646bkd.1.p; Sun, 25 Apr 2010 12:16:35 -0700 (PDT) Received: by 10.204.38.76 with SMTP id a12mr162965bke.14.1272222995407; Sun, 25 Apr 2010 12:16:35 -0700 (PDT) Received: by 10.204.38.76 with SMTP id a12mr162964bke.14.1272222995380; Sun, 25 Apr 2010 12:16:35 -0700 (PDT) Received: from mail-bw0-f218.google.com (mail-bw0-f218.google.com [209.85.218.218]) by gmr-mx.google.com with ESMTP id 18si417782bwz.4.2010.04.25.12.16.34; Sun, 25 Apr 2010 12:16:34 -0700 (PDT) Received-SPF: pass (google.com: domain of dbrockman@gmail.com designates 209.85.218.218 as permitted sender) client-ip=209.85.218.218; Received: by bwz10 with SMTP id 10so11342951bwz.4 for ; Sun, 25 Apr 2010 12:16:34 -0700 (PDT) Received: by 10.204.142.147 with SMTP id q19mr1886993bku.169.1272222994220; Sun, 25 Apr 2010 12:16:34 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.47.196 with HTTP; Sun, 25 Apr 2010 12:16:14 -0700 (PDT) In-Reply-To: References: <4BBE188B.8070807@lojban.org> <4BC36464.8010707@gmail.com> <6d4d93ea-e660-4ad1-8910-02ddbb96f48c@b6g2000yqi.googlegroups.com> <561527.86938.qm@web81306.mail.mud.yahoo.com> <5f7591f2-cb68-4a39-940c-965a0770343f@b33g2000yqc.googlegroups.com> <775037.72228.qm@web81303.mail.mud.yahoo.com> <910640.40103.qm@web81304.mail.mud.yahoo.com> <971944.73808.qm@web81301.mail.mud.yahoo.com> <983500.94659.qm@web81304.mail.mud.yahoo.com> From: Daniel Brockman Date: Sun, 25 Apr 2010 21:16:14 +0200 Message-ID: Subject: Re: [lojban] What gets into 'lo broda' To: lojban@googlegroups.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of dbrockman@gmail.com designates 209.85.218.218 as permitted sender) smtp.mail=dbrockman@gmail.com; dkim=pass (test mode) header.i=@gmail.com X-Original-Sender: dbrockman@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable > This is how I would define "PA mei": > > First we define "pamei", "x1 is one": > > =A0ko'a pamei .ijo ro'oi da poi ke'a me ko'a zo'u da du ko'a > =A0"A is one iff for any X among A: X =3D A" Why do you need {ro'oi} there? Why not {ro}? (Sorry if that's a stupid question. I'm not familiar with these plural quantifiers.) --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.