Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Wed, 24 Jul 2024 13:11:55 -0700 Received: from [192.168.123.254] (port=43824 helo=jiten.lojban.org) by 7b1ed25cf98a with smtp (Exim 4.96) (envelope-from ) id 1sWiL2-0004MT-2n for jbovlaste-admin@lojban.org; Wed, 24 Jul 2024 13:11:55 -0700 Received: by jiten.lojban.org (sSMTP sendmail emulation); Wed, 24 Jul 2024 20:11:52 +0000 From: "Apache" To: ilmen.pokebip@gmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word zilbri -- By gleki Date: Wed, 24 Jul 2024 20:11:52 +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 gleki has edited a definition of "zilbri" in the language "English". Differences: 5,5c5,5 < Synonymous to {brije'u}. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also {bridi}. --- > Synonymous to {brije'u}. The $x_1$ slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence $x_2$. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly {zi'o}. See also {bridi}. Old Data: Definition: $x_1$ (predicate) is true when applied to argument list $x_2$ (sequence) Notes: Synonymous to {brije'u}. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also {bridi}. Jargon: Gloss Keywords: Place Keywords: New Data: Definition: $x_1$ (predicate) is true when applied to argument list $x_2$ (sequence) Notes: Synonymous to {brije'u}. The $x_1$ slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence $x_2$. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly {zi'o}. See also {bridi}. Jargon: Gloss Keywords: Place Keywords: You can go to to see it.