Vocabulary
classes

Inputs
classa class


Outputs
seqa sequence of intersection participants, or f


Word description
If class is an intersection class, outputs a sequence of its participant classes, otherwise outputs f.

Definition