Supertype Subtype Relationship Overlap Rule Example Real-Time Diagram