A semantic context which is true whenever at least one of the contained contexts is true.
See Source File