***
←
→
Extended ER ("EER")
Disjoint vs overlapping subtypes