subject object supertype-subtype supertype subtype