Each abstract event (a node in the match tree visualized by Ave) consists of a set of abstract/primitive events (children of the node in the match tree). A user can partition the set of children based on some attribute. Each partition must be given a name. The Ave-induced default partitioning at the p-chain level is assigned the name default.
The syntax is
with <abstract-event> foreach <descendant-event>
create partition <partition-name> wrt <attribute-name>
creates a partition named partition-name foreach descendant of abstract-event named descendant-event with the attribute-name as a predicate.
The user can choose to display the
match tree using the new additional structure
created due to the partition by the command
view <abstract-event> through partition <partition-name>;