matches if any of the subpatterns match. At least one subpattern must be present. All subpatterns must bind the same set of pattern variables.