Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Wed, 13 Jan 2021 17:21:27 -0800 Received: from mail-pf1-f188.google.com ([209.85.210.188]:54365) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1kzrKD-0013f4-G6 for lojban-list-archive@lojban.org; Wed, 13 Jan 2021 17:21:27 -0800 Received: by mail-pf1-f188.google.com with SMTP id d84sf2344708pfd.21 for ; Wed, 13 Jan 2021 17:21:21 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1610587280; cv=pass; d=google.com; s=arc-20160816; b=CnsicxbtuG5QNLPMlKwrKIHXkdLYhupJiluikKrvKCXN3Q4rrsJO8AiJU0dUtIfjxM Pp9BkvPdEZ7zjNfs69ucP8vsDx79E1gM8JsX4HNEUWxY3Bu4g6XgNXXM33oJVrOzwcCM Uximp4MZh9PHUiIXsMnkYgH7v6wjy3w4ZsEaCaG/XuRQKdOwCMzQU+mNf0r1FyXuBTwd vTQZMaePxqdfjOHRcJ9TwWPU4FLZOCvhZVeGWrR/k1F6gKFr4xQSyaamTDHwTi286YhN aODBe1hmdLacRmU7fpCM+cQfNoicE9g2AUnS/qMLPtGByfmj0KWNHqic7eFNRa36Q61u 2Ytg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:content-transfer-encoding :mime-version:message-id:in-reply-to:date:references:subject:to:from :sender:dkim-signature; bh=rdNGywuNCuOt1xVN3gEr1QDGiFb4I0r3q04hvTDjJ1o=; b=j8XO7BfxUBtuoNODDr1pf6DLVwbS7J5GVNh/VSD1XGtJSmkl9F+qoLBATDYA4MkoG0 35QeObNbDjy0uYkrPuGxpa0LQwN4UfIdWep577V5SBLC4HMitd15kYBr51ClCPTh9GV3 9s+yX7XThf2nmi0w6Q+KV5N+QROzvjQqfdgNtm8CwUmSiiJmsi/13LhHCMaH5afKXuAw HUBVjtI1q+JHY2876NsL/D9n2zcvoMYqgt4Ao9Te38mOVc8Tlvh7GzOpv0Hm0nQhiqgU 4jwgVJ5XPUu5HlqT+8HLtCGKPwEKRgfmNuM7Gx1HDuvpSuCmlJQMWPD8mcpCyHo/TOHi PGxQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:references:date:in-reply-to:message-id :mime-version:content-transfer-encoding:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=rdNGywuNCuOt1xVN3gEr1QDGiFb4I0r3q04hvTDjJ1o=; b=Vw6n7DhooYoYezY49yJUJRfAK2RuTNKf/jKiWdFeFNbv9XKShKiuImau8R4/i9/cox vb+EVevhLTny5zRAf5p+rGGoKP/D9CbWU8WUBr0LrMN5tgWo1xP6nxch5fxvHigOV0nE KM06OasR7JFZRgNPfRczHAWTIb/yqY4uLcW8MzBmb4pSPz+nPm/Rp4u955prv+HWHA0q tBB6eexhrTY8iR69xOsLpcioOpdA8OnsYYr9F7nzeOHfRcLy7NURXoKQZBqrDOLRhaGa HxVjcHNpq+sQ0MCfte3EzGOmnNq5z3HpJXitWden1wmPKgGP/NYskxuDh8Nqqg7sCmIU iM8Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:references:date :in-reply-to:message-id:mime-version:content-transfer-encoding :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=rdNGywuNCuOt1xVN3gEr1QDGiFb4I0r3q04hvTDjJ1o=; b=pSRUYFeccXW1a6/BHkagBIatN17eQf3wu4W6iq0cgqZ6eQcTqJ+i6XGKbjb9ZwGcSl ikZbufGTgNl+ewC9q15z0fmm/M3VUiDPVHeXgcBIwVnOhL8N8+JLEgo4Xe2/AcH0E19b w8F+cQljdTr5UoS6J5mPE4dWHfZwEW/2GumRn0Ef5tI21y0DG3+PKkPjcG5hwgLhyPT5 t2HXTEzSn75XKy4/hH7ZkCKZfjWtL9cc6tYWP4EN4OpEpGEWrlwdHgwr4LaqD+KCy5Xn gz6+1NzRPOT7/OpEzk7dBrnlCVqRdueav4R1AeRghtFjAOwCzVghbvhcBA/xOAj2+aFK hCbA== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM531BEU2nDamn16s8hfdQcTD+z23xl5gCx67oCO+l0DCI0bPmH5lm CfZdMpGMmXahVdaZmOOrbCw= X-Google-Smtp-Source: ABdhPJyv4Cyi09KknniuOQgZQsdgWJks07Wz31pUQz5OOQCvZ7aY73euK498tN6PB4OcHeKT+eg89w== X-Received: by 2002:a17:90a:d308:: with SMTP id p8mr2267187pju.110.1610587280126; Wed, 13 Jan 2021 17:21:20 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:a62:52d1:: with SMTP id g200ls1509155pfb.8.gmail; Wed, 13 Jan 2021 17:21:19 -0800 (PST) X-Received: by 2002:a62:14c4:0:b029:19d:d3f5:c304 with SMTP id 187-20020a6214c40000b029019dd3f5c304mr4757035pfu.55.1610587279412; Wed, 13 Jan 2021 17:21:19 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1610587279; cv=none; d=google.com; s=arc-20160816; b=n37uYUnfDMtLutaeX7JOmJvwLPIv3JhcrBjode6Ff4NmvRyTT9phDnHOtVphEsBnE3 6FrAB1v8aisgpJXCsEhOYJLXSCWoACGN4dludhsPDLsrTVpYxxzqtndSnF+Ae22kfQmA 5FHDtYcaQmF/W4XRh8aFpGmPOUp+x/d6F+WO2m8B21OMAuwPae88wS25OB/CQLabQ7ZN MZ/m28yJESQcPe5f0aN82+WvNygjqESAyVvgi6JaG7jzoak1k/QvcIkxZ4exXtfuxbtR cXPD5AgDC5XbEAOwMEWw3NBSDcfg1AWFiAhhLNdrpmCsUTdTieh262wlssSkSrbV8bh9 NfnQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :references:subject:to:from; bh=vLubOts0rA+1rEpCapcze+6m7WdU5HVVAlif0xk9plU=; b=wG+Zx4y8ShCumIyvi37YryiDfCk6IJKAy+3oHWwcX+cHxv/xxtfAcmtkp8SNzEJBZY L1apXpphPRDERVUByyxO4s7bi3i7BASm2pJVhi88kdIMLUrgm7v2KiIBW6693k5t86wV wNo19B3rR5/raw1rkKSM22M1VSqThLI3A8izTkxg6tehUfDttuk+htRYIlB4Rq9c1Shr HPnQDtUdtST41J/KS1qVW7c71wwOfpB/BcWHGzHbrphZybi8sJXnD3Gy4fWBOCGIFwLa +ZUv9UD4Up5zSladDiKkzhirxrI04nbHcaCuGzthZJUzGpJGHRWHbbJb6bh3yNy/lHSD HXUg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org Received: from icebubble.org (smtp.icebubble.org. [2607:f2f8:a1d8::b19:0:f0b]) by gmr-mx.google.com with ESMTPS id h11si642460pjv.3.2021.01.13.17.21.18 for (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 13 Jan 2021 17:21:18 -0800 (PST) Received-SPF: pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) client-ip=2607:f2f8:a1d8::b19:0:f0b; Received: from petunia by icebubble.org with local-bsmtp (Exim 4.76) (envelope-from ) id 1kzrQ2-0006X3-2X for lojban@googlegroups.com; Thu, 14 Jan 2021 01:27:22 +0000 Received: from rusat by cmarib.ramside with local (Exim 4.72) (envelope-from ) id 1kzoFQ-0003SN-Qv for lojban@googlegroups.com; Wed, 13 Jan 2021 22:04:12 +0000 From: scope845hlang343jbo@icebubble.org To: lojban@googlegroups.com Subject: [lojban] Re: Second-order quantification has uses References: <81481203-08ac-cd57-4ca1-75838eb623eb@mail.jerrington.me> Date: Wed, 13 Jan 2021 22:04:12 +0000 In-Reply-To: <81481203-08ac-cd57-4ca1-75838eb623eb@mail.jerrington.me> (Jacob Thomas Errington's message of "Tue, 12 Jan 2021 15:24:27 GMT") Message-ID: <86sg745w9v.fsf@cmarib.ramside> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: scope845hlang343jbo@icebubble.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.2 (-) X-Spam_score: -1.2 X-Spam_score_int: -11 X-Spam_bar: - Jacob Thomas Errington writes: > Lojban is funny in that you can smuggle selbri around as sumti (as witnes= sed by the very common {lo ka}) and 'unbox' them with {ckaji} --=20 > this unboxing is very flavourless, but there are delicious unboxings > like {carmi}, {pluka}, etc. -- and more generally you can unbox any > reified selbri with the experimental cmavo {me'au}: > > =C2=A0 .i x1 x2 x3 ... broda =3D=3D=3D x1 x2 x3 ... me'au lo ka ce'u ce'u= ce'u > ... broda I use {nu'a ma'o mo'e} for that. It takes an indirect route - via Lojban's mex subgrammar - but it gets there. --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= lojban/86sg745w9v.fsf%40cmarib.ramside.