APPROVED Jeremy J. Carroll Jos De Roo Test illustrating extensional semantics of owl:SymmetricProperty.