Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Fri, 15 Jan 2021 06:58:36 -0800 Received: from mail-lj1-f189.google.com ([209.85.208.189]:55031) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1l0QYb-000aT9-Ot for lojban-list-archive@lojban.org; Fri, 15 Jan 2021 06:58:36 -0800 Received: by mail-lj1-f189.google.com with SMTP id k7sf3179483ljj.21 for ; Fri, 15 Jan 2021 06:58:33 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1610722712; cv=pass; d=google.com; s=arc-20160816; b=l5IY2t3Q3/fbhrV6xScO1JAx2pPMxrfgQwLHSV1cYNU8mNMC9YEpvVa8fP0kmv24dh L+f93L0dgSucsjzMvoDhQtU3DXLCg4C+w+kEzgfAFPe4uMQSjx329ixBeWanXdrzpdP4 0KJO/s5r9hXSWb1h36QQuvg87hzNAJk2WziAiwFt/4YsRYcwJH6IEwZBFyTH7YVEWdIX PrCpG3W/zVmn75xPrR7oXN4NsTagFdvCYRluObradc/teqb5yrw5udJcFJkqNLF2O3p3 bvfvTTZkDDMrg/Unni2jxL1wwEJpllO3MnvsTaArElc0xZMQfWfYvbUIZDgM+YCye8qq ozUQ== 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:date:content-language :content-transfer-encoding:in-reply-to:mime-version:message-id:from :references:to:subject:sender:dkim-signature; bh=krqq8Uyi3/E3G28CiJLq2TYrHjM2+CKzMQetaKFcFUs=; b=EyRUy/xWll3LaIAxPdjUT5jHgN5UfMgKwTL5pqwKKWFIlxN9lOoXo+di4FCwFRVcEk ayvWBDXQnxd4RYpyQyXs0ejB/i35LUbRwAklb6z7Fla6z5CkFlcoBsGv+nF4NsySjqCH lR3hDiHH6IMqhmHKqICRXakhF5+8jv7sbSnAy0/WY9uoQ/SBXE0SEQyHwYySpH17FIpU fp3Prgnp0JeJnycvAg/uhgFbhsxD75Tp/nD/HArC6DXUQIf+nDKXzcq6xMIRw13/Y+7U V3vU9ansdozf4lmy2F/AfsV1q81655sRKCCUgvLFFgjnBeq3eRUS12cvrWkXfOG/cp4h nj9A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=zN7mLm2v; spf=pass (google.com: domain of jake@mail.jerrington.me designates 94.23.1.103 as permitted sender) smtp.mailfrom=jake@mail.jerrington.me DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:subject:to:references:from:message-id:mime-version :in-reply-to:content-transfer-encoding:content-language:date :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=krqq8Uyi3/E3G28CiJLq2TYrHjM2+CKzMQetaKFcFUs=; b=gj8itTmUYlExumSXzjLlE1hU1Qh99WYj8NMRj1AxQHgHjg8f26+kzy2bytnXKb5uSA BSVPd85Wr4QfhnxJtamWyPpB39p85hBHKUKyfJizTuUT4/rbufEVUgHUJRSoMQPXknsM pUWbLExTc9GrNVtrcOlUn6px4sCqGckv8cE6KzeYngQZfw6PVlFHfHO0Cm/sL342IhXI DxzWM8NIE+arh6/RmPYdrLOLE24KTUYRlNCGeIUG+Q5HoddgDVteMfYkUR1gBEHzC7gf 28Fb7UneBwEszcq2aKaOrp6AOEPznGBoQFBqYSet1f598kM2PkLJukeZc9ex+xHD+J/6 4xbw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:subject:to:references:from:message-id :mime-version:in-reply-to:content-transfer-encoding:content-language :date: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=krqq8Uyi3/E3G28CiJLq2TYrHjM2+CKzMQetaKFcFUs=; b=KBHwRCtkg2Z1r179iSXHxSzwXzD135AZw6VvqHqnVr30003OUdhKhGE2JvA2Z5yTae k9J4LU3zEjsSSCb2MW1wjkBEEhIFlpboVnSzkOIa9rG3DSHyEdd4VmzrJizvrDDkAbwB wh2qvU3iCkuYp1sPC/A6HkBT8huIbbac4hzEC4/Kl3yaFazSaD8EFhnrO2nc8Xmbb/zi DhLb8fhqRuKUf8WQdQE2j0cXmLrWC8aQlbFqaiXtKJLGssVkOIb3ocujS4vgu8RTEj8r H4wQ7UVWmVI6L3CiWCOpBV/lRSOGrOFgWGZ0ox8DWlNLfw1uUKwcRZg191v1JDo2OAFV nSNQ== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM530V4qTQub1l7J/e3IjbXBOFlOPnQ/T79k7fMAhLqh0/MAQFpguw OYDmAd5lnmpQGmuoQwCxl3I= X-Google-Smtp-Source: ABdhPJxLd6BxXVntpHx7hMC7TgUjugf4dr0rNY7qf1KPbl4Dn+T1fOvACljqT47McJl+Lr9DEr6iQw== X-Received: by 2002:a2e:99cd:: with SMTP id l13mr5594569ljj.318.1610722711899; Fri, 15 Jan 2021 06:58:31 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:a19:6145:: with SMTP id m5ls227658lfk.2.gmail; Fri, 15 Jan 2021 06:58:30 -0800 (PST) X-Received: by 2002:a19:6447:: with SMTP id b7mr5610023lfj.206.1610722710473; Fri, 15 Jan 2021 06:58:30 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1610722710; cv=none; d=google.com; s=arc-20160816; b=tk+3wD6Q48rfF986/YGlVqrg1frDgUGCqBC3YUtzM9K99uKYUXT0sEBVT9/4gSUOp0 xKFGsKctI2WYjXXmd/rlVVsj/qHiP/4QYzVB/CIODGtQXH3BDqFwFuXrJCuDL445LHYp hGdMzBgIk6MEHGwxl6w0LwKLqxDk9rZPiYqPy2gUte0M5zKrVCuNA+kWWegs3mXgmN0w 0zkgLUHUWsrw67sm8RwX+8ZQc0mi2rIxWOT3mnXMxo1nSceFFq95pK5Hb1tjagbcXHSX Qd+mNPVOBSwRTy4QC+wnO1uanOFY8/ak12HBOtBMOmQp8k4zacZsFEMlTNGTjlOWQw4V 2/rg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=date:content-language:content-transfer-encoding:in-reply-to :mime-version:message-id:from:references:to:dkim-signature:subject; bh=bngnowiluzVpMfxAK1lJsMeT3+I3rnbxJWcBjXGUPnI=; b=hfIH/6e4er8uqZRVx9sZS4vjV67ud9o5gTE4257+A0mkX3x0/5EAqHHZM6TcBZ6qas ydrYm1raxm1Hfmrk3AUqMxkiMMsd7XjchbILqI7KcrLtUQ8YK9DevKk8YtObkS8GDLQ+ 9uc5iO+by2+3KGo6qLkBH3vI0O8Ka1bQHKT3PiFEyq6owLeihuo8K7AGTYWHAJMjkjFj 551a4zPcEuQmjfqZS7xuM6pMrBQM0r0TXVRqobxmwbr7SJ6irxFulR2mW1gFr9BlXybj QYolewdqQIXdCXZInFFH3CTNOPiq7pKhGmp2hx2YY7vk0FahkNWv+l+ynsCEtxPJOiMv i2jg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=zN7mLm2v; spf=pass (google.com: domain of jake@mail.jerrington.me designates 94.23.1.103 as permitted sender) smtp.mailfrom=jake@mail.jerrington.me Received: from out0.migadu.com (out0.migadu.com. [94.23.1.103]) by gmr-mx.google.com with ESMTPS id e8si479532ljo.5.2021.01.15.06.58.30 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Fri, 15 Jan 2021 06:58:30 -0800 (PST) Received-SPF: pass (google.com: domain of jake@mail.jerrington.me designates 94.23.1.103 as permitted sender) client-ip=94.23.1.103; Subject: Re: [lojban] Re: Multiple-variable abstractions To: lojban@googlegroups.com References: <86o8iru85f.fsf@cmarib.ramside> <86blep9yni.fsf@cmarib.ramside> <8ff75cde-1243-5188-489e-e11276a75a07@mail.jerrington.me> <86zh1s9mw5.fsf@cmarib.ramside> <103d554a-d7f5-918e-bb82-6e025e41131b@mail.jerrington.me> <86zh1lhoao.fsf_-_@cmarib.ramside> <86o8hs7d0r.fsf@cmarib.ramside> X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Jacob Thomas Errington Message-ID: MIME-Version: 1.0 In-Reply-To: <86o8hs7d0r.fsf@cmarib.ramside> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Content-Language: en-US X-Migadu-Flow: FLOW_OUT X-Migadu-Auth-User: jake@mail.jerrington.me Date: Fri, 15 Jan 2021 14:58:29 GMT X-Original-Sender: jake@mail.jerrington.me X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=zN7mLm2v; spf=pass (google.com: domain of jake@mail.jerrington.me designates 94.23.1.103 as permitted sender) smtp.mailfrom=jake@mail.jerrington.me 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.4 (-) X-Spam_score: -1.4 X-Spam_score_int: -13 X-Spam_bar: - coi On 2021-01-13 16:17, scope845hlang343jbo@icebubble.org wrote: > Jacob Thomas Errington writes: >> The way {ce'ai} works in general is that each sumti appearing in it is >> understood as a binder. We concocted {ce'ai} back in ~2013 when >> discussing how to reuse {ce'u} within a ka-abstraction. Here's a >> contrived example: >> >> =C2=A0 without ce'ai: {.i mi ckaji lo ka ce'u goi ko'a batci ko'a} >> =C2=A0 with ce'ai: {.i mi ckaji lo ka ko'a ce'ai ko'a ko'a batci} > ki'a .i zo GOI xu selma'o zo ce'ai > .i zo ZOhU xu go'i .i mi stidi tu'a lu > > mi ckaji lo ka ce'u zo'u ce'u ce'u batci > > li'u .i zo ce'ai cmavo zo zo'u .e nai zo goi .i pilno zo goi lo ka ciksi lo=20 po'o du'u makau smuni .i la'e lu lo ka ce'u zo'u ce'u ce'u li'u mutce lo ka simlu lo ka selbri=20 fi lo cimei .e nai lo pamei .i mukti lo nu mi stidi tu'a zo ce'ai --=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/a25c1468-e5c9-5380-9f95-6e56eae8575d%40mail.jerrington.me.