|

does not mean set union on relations: it is a type-syntax "or", as in "this relation can have subject type A or subject type B..."