Event Type isPartitionedBy Event Type Partition (specialized)

Event Type Partition partitions Event Type (specialized)

Specialized at both ends, Event Type and Event Type Partition, because
event types can only be partitioned classified by event type partitions
and event type partitions can only partitions event types.