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