VEL2: Disjunctive Composition of Situations

Definition: The function VEL2 generates a complex real situation from alternative possibilities of realizations by combining several situations with exclusive1) OR. By default, the arguments
are assumed to be hypothetical situations.

1)
inclusive version is called VEL1