A description of which substances should be selected over in a forall selector.
The keys are the names of the variables to assign, and the values are the types of the substances to assign to them.
For example, selecting over all pairs of Birds and single Trees, assigning the birds to b1 and b2 and the tree to t,
could look like:
A description of which substances should be selected over in a
forallselector. The keys are the names of the variables to assign, and the values are the types of the substances to assign to them.For example, selecting over all pairs of
Birds and singleTrees, assigning the birds tob1andb2and the tree tot, could look like: