From lojban+bncCMvjp-TQBRC1q_ngBBoE4LWf1A@googlegroups.com Sun Jun 20 10:54:14 2010 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1OQOif-0008LU-Pl; Sun, 20 Jun 2010 10:54:14 -0700 Received: by gyd5 with SMTP id 5sf17787626gyd.16 for ; Sun, 20 Jun 2010 10:54:03 -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-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=/4eV8HNQfoyT8nghHgkU6PDd2Nj0PBD7F6QnixTDPTo=; b=f+WnZqiXyu3vMZ9IqE1rl9Hqm9c7gDVthJB7SDdT6opoHC97LldP2PYs+LDIP2X1Jf 39mddp7Juglptr0JIXzGBkisPbdVbFJoWL4GJCXzqhpVaHuyANuLhrCp3nRipDLOYGAU 7B7+mf7mAROY6M0lTvLEmOpLNU2KZd0PgW8OM= 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-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; b=LNQzddlO6rmXQgY1bg9h1FjcxNyUccj2CbysdNYbLXporMfWaKAHNhiRY0/RiFPm56 mXKulBoimMs96KUnm3N4zYQmOTym3rXtKtKn+3e621P0J9FlOEOYz8S80yBEhAufG0CP cIlnQg6OCc8Ea/LJgyW+DxXeKTkuvGNWzEn2Y= Received: by 10.91.82.11 with SMTP id j11mr222022agl.36.1277056437286; Sun, 20 Jun 2010 10:53:57 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.90.233.16 with SMTP id f16ls224153agh.4.p; Sun, 20 Jun 2010 10:53:56 -0700 (PDT) Received: by 10.90.9.19 with SMTP id 19mr1682843agi.4.1277056436531; Sun, 20 Jun 2010 10:53:56 -0700 (PDT) Received: by 10.90.9.19 with SMTP id 19mr1682841agi.4.1277056436495; Sun, 20 Jun 2010 10:53:56 -0700 (PDT) Received: from mail-yx0-f180.google.com (mail-yx0-f180.google.com [209.85.213.180]) by gmr-mx.google.com with ESMTP id 19si625869ywh.4.2010.06.20.10.53.55; Sun, 20 Jun 2010 10:53:55 -0700 (PDT) Received-SPF: pass (google.com: domain of dbrockman@gmail.com designates 209.85.213.180 as permitted sender) client-ip=209.85.213.180; Received: by yxm8 with SMTP id 8so504666yxm.39 for ; Sun, 20 Jun 2010 10:53:55 -0700 (PDT) Received: by 10.100.189.5 with SMTP id m5mr1052282anf.257.1277056435174; Sun, 20 Jun 2010 10:53:55 -0700 (PDT) MIME-Version: 1.0 Received: by 10.101.58.20 with HTTP; Sun, 20 Jun 2010 10:53:35 -0700 (PDT) In-Reply-To: References: From: Daniel Brockman Date: Sun, 20 Jun 2010 19:53:35 +0200 Message-ID: Subject: Re: [lojban] Ambiguity resolution To: lojban@googlegroups.com X-Original-Sender: dbrockman@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of dbrockman@gmail.com designates 209.85.213.180 as permitted sender) smtp.mail=dbrockman@gmail.com; dkim=pass (test mode) header.i=@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 > 'some' is analogous to an existential quantifier in English and 'every' is > analogous to a universal quantifier. When you use both in the same sentence, > it matters which one you 'consider' first. My question is, how does Lojban > resolve this issue and how would you state sentence 1 and sentence 2? The easiest way is using an explicit prenex: i ro da poi samselpla zo'u su'o samselpla cu jdice lo du'u xu kau da to'e cfari For every program X, there is a program that decides whether X finishes. i su'o da poi samselpla ro de poi samselpla zo'u da jdice lo du'u xu kau de to'e cfari There is a program X such that for every program Y, X decides whether Y finishes. -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.