====== VEL1: Disjunctive Composition of Situations ====== **Definition**: The function ''VEL1'' generates a complex real situation from alternative possibilities of realizations by combining several situations with **inclusive**((exclusive version is called [[VEL2]])) OR. By default, the arguments are assumed to be hypothetical situations.