APPROVED Jeremy J. Carroll Test illustrating extensional semantics of owl:TransitiveProperty.