Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Tue, 06 May 2025 19:39:48 -0700 Received: from [192.168.123.254] (port=47158 helo=web.lojban.org) by fe3e2dc928fd with smtp (Exim 4.96) (envelope-from ) id 1uCUhG-0034Yj-09 for jbovlaste-admin@lojban.org; Tue, 06 May 2025 19:39:48 -0700 Received: by web.lojban.org (sSMTP sendmail emulation); Wed, 07 May 2025 02:39:45 +0000 From: "Apache" To: ByronJohnsonFP@gmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word zo'u'e -- By bairyn Date: Wed, 7 May 2025 02:39:45 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / In jbovlaste, the user bairyn has added a definition of "zo'u'e" in the language "English". New Data: Definition: Generalized prenex/topic separator/joiner; such that … Notes: After {zo'u}, {zo'u'e} can chain together arbitrary chains of sumti term sequences or bridi. {zo'u'e} can add a topic/prenex/‘postnex’ after a bridi too, usually but not necessarily with a {se} prefix as in {se}{zo'u'e}, whereas {zo'u} currently only supports it before. {zo'u'e} can also chain together multiple bridi (suggested interpretation: ‘such that’). {zo'u'e} is a variant of {zo'u} that is generalized to be more flexible. {zo'u'e} can be prefixed with SE. {zo'u'e} links can be grouped with {tu'e}…{tu'u}. (See also the Curry-Howard correspondence and the representation of logical quantifiers in e.g. Agda.) ni'o If desired, the semantics can be specified in more detail, such as declaring or importing a language feature, complete language, language dialect or variation, dictionary, semantics, or other language standard or specification or open source fork with {baupli}, e.g. ({sei}) {baupli} {be} {la} {mulno} {ke} {lojbo} {bangu}, or something more precise and versioned. Jargon: Gloss Keywords: Word: such that, In Sense: Place Keywords: You can go to to see it.