Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sat, 10 May 2025 20:14:52 -0700 Received: from [192.168.123.254] (port=52280 helo=web.lojban.org) by fe3e2dc928fd with smtp (Exim 4.96) (envelope-from ) id 1uDx9N-003BvH-1Y for jbovlaste-admin@lojban.org; Sat, 10 May 2025 20:14:52 -0700 Received: by web.lojban.org (sSMTP sendmail emulation); Sun, 11 May 2025 03:14:49 +0000 From: "Apache" To: ByronJohnsonFP@gmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word zo'u'e -- By bairyn Date: Sun, 11 May 2025 03:14:49 +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 edited a definition of "zo'u'e" in the language "English". Differences: 7,7c7,7 < 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. --- > 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} (or {baunpli}), e.g. ({sei}) {baupli} {be} {la} {mulno} {ke} {lojbo} {bangu}, or something more precise and versioned. Old 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: 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} (or {baunpli}), 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.