Enumeration and short erasure (BU)

BU is a separator that can appear in any place there is a chain, and transform it into an enumeration of chains. Depending on which BU is used this enumeration is used to create a set, list, or to erase previous words.

buhu erase the current chain, as if it was not said or written, and is usually followed by a new chain. If there is no other BU than buhu used then this new chain stay as is, and is not transformed in a list or set. It can only erase grammatically valid text, otherwise RA must be used.

For first non buhu BU used determines what this enumeration produces. Following non buhu BU don’t change what the enumeration produces, and it is thus shorter to always use bu.

• bu: a set made of one member from each listed sets
• bue: a set of atoms/generics
• buhe: a set of predicates
• bua: a list of atoms/generics
• buha: a list of predicates

For buhe and buha, all predicates will have the same arity and arguments as the first chain in the enumeration.

A final BU can appear without being followed by a new chain, which is useful to create a list/set with only one member. If all chains have been erased with buhu, then it produces an “always true” predicate.

mi seo spi [va [za ualis] bu [za ubob] buhu [za utcarli]]

I speak (say something) to Alice and Bob and Charlie.

Note that VI/FI/PE is often required to use BU, as BU has lower precedence than chaining.

[mi seo spi za ualis] bu [za utcarli]

pe … pei are particularly useful to make nested sets/lists.