Enumeration (PE/BU)

We’ve seen before particles pe and pei that are like spoken brackets. pe is part of family PE which provide a more general feature called an enumeration. It allows to list items which are used differently depending on which PE is used. Items separation is done using bu (only member of BU) in 2 possible mays:

• separator: PE is followed by multiple chains, each separated by bu.
• prefix: PE is immediatly followed by bu. Then each item is a single predicate, and items are not separated by bu.

PE family contains the following members:

• pe: Simply exposes the slots of the items. If there are multiple items, it perform an AND operator between them.

  Exemple: mi [pe [etiansa] bu [dona] pei] meon = I [eat and like] an apple.

• pea: Makes a set from one member of each listed sets.

  Exemple: mio [pehe bu [za ualis] [za ubob] (pei)] = We are Alice and Bob.

• peo: Makes a set such that a generic/atom that satisfy each item is a member of the set.

  Exemple: [pea [tcu mian] bu [meon] (pei)] = A set of {the set of all cats, a set of apples}.

• peho: Makes a set of predicates.

  Exemple: me vone [peha bu [mian] [meon] (pei)] = This is [a cat OR an apple].

• peu: Makes a list such that a generic/atom that satisfy each item is amember of the list (in order).

  Exemple: [peo bu [mian] [meon] pei] blua [peo [meon] bu [mian] (pei)] = List [a cat, an apple] is list [an apple, a cat] in reverse order.

• pehu: Makes a list of predicates.

  No exemple as usages of predicates lists as they are mostly used by words with complex meanings.

An empty enum can be made with PE bu PEI. However Eberban doesn’t consider the empty set exists, while the empty list does. When used with pe, it makes an always true predicate.