Class OrToUnorderedUnionRule