R1: CreateKB response KB
name(/ResponseMessage[1]/*[1]) = 'KB' and count(/ResponseMessage[1]/*[1][@kb='http://www.owllink.org/ont/families']) = 1

R2: LoadOntologies response OK
name(/ResponseMessage[1]/*[2]) = 'OK' or count(/ResponseMessage[1]/*[position()=2 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R3: IsObjectPropertySatisfiable response is BooleanResponse true
name(/ResponseMessage[1]/*[3]) = 'BooleanResponse' and count(/ResponseMessage[1]/*[3][@result='true'])=1 or count(/ResponseMessage[1]/*[position()=3 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R4: GetSubObjectProperties response is SetOfObjectPropertySynsets containing 2 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[4]/ObjectPropertySynset)=2 and count(/ResponseMessage[1]/*[4]/ObjectPropertySynset/owl:ObjectProperty)=2 and name(/ResponseMessage[1]/*[4])='SetOfObjectPropertySynsets'

R4: One owl:ObjectProperty element is owl:bottomObjectProperty
count(/ResponseMessage[1]/*[4]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty'])=1

R4: One owl:ObjectProperty element is families:hasFather
count(/ResponseMessage[1]/*[4]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasFather' or @IRI='http://example.com/owl/families/hasFather'])=1

R5: GetSuperObjectProperties response is SetOfObjectPropertySynsets containing 2 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[5]/ObjectPropertySynset)=2 and name(/ResponseMessage[1]/*[5])='SetOfObjectPropertySynsets'

R5: One owl:ObjectProperty element is owl:topObjectProperty
count(/ResponseMessage[1]/*[5]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty'])=1

R5: One owl:ObjectProperty element is families:hasSpouse
count(/ResponseMessage[1]/*[5]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse'])=1

R6: GetEquivalentObjectProperties response is SetOfObjectProperties containing 2 owl:ObjectProperty elements
count(/ResponseMessage[1]/*[6]/owl:ObjectProperty)=2 and name(/ResponseMessage[1]/*[6])='SetOfObjectProperties' or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: One owl:ObjectProperty element is families:hasChild
count(/ResponseMessage[1]/*[6]/owl:ObjectProperty[@abbreviatedIRI='families:hasChild' or @IRI='http://example.com/owl/families/hasChild'])=1 or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R6: One owl:ObjectProperty element is otherOnt:child
count(/ResponseMessage[1]/*[6]/owl:ObjectProperty[@abbreviatedIRI='otherOnt:child' or @IRI='http://example.org/otherOntologies/families/child'])=1 or count(/ResponseMessage[1]/*[position()=6 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: GetDisjointObjectProperties response is ObjectPropertySynsets containing 4 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[7]/ObjectPropertySynset)=4 and name(/ResponseMessage[1]/*[7])='ObjectPropertySynsets' or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: One owl:ObjectPropertySynset element contains just the owl:ObjectProperty families:hasSpouse
count(/ResponseMessage[1]/*[7]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse']/../*)=1 or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: One owl:ObjectPropertySynset element contains just the owl:ObjectProperty families:hasWife
count(/ResponseMessage[1]/*[7]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife']/../*)=1 or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: One owl:ObjectPropertySynset element contains just the owl:ObjectProperty owl:bottomObjectProperty
count(/ResponseMessage[1]/*[7]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty']/../*)=1 and count(/ResponseMessage[1]/*[7]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife']/../*) or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R7: One owl:ObjectPropertySynset element contains just the owl:ObjectProperty elements families:hasChild and otherOnt:child
count(/ResponseMessage[1]/*[7]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasChild' or @IRI='http://example.com/owl/families/hasChild']/../owl:ObjectProperty[@abbreviatedIRI='otherOnt:child' or @IRI='http://example.org/otherOntologies/families/child']/../*)=2 or count(/ResponseMessage[1]/*[position()=7 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R8: GetSubObjectPropertyHierarchy response is ObjectPropertyHierarchy with a ObjectPropertySynset and three ObjectPropertySubDataPropertiesPair elements
name(/ResponseMessage[1]/*[8])='ObjectPropertyHierarchy' and count(/ResponseMessage[1]/*[8]/ObjectPropertySynset)=1 and count(/ResponseMessage[1]/*[8]/ObjectPropertySynset[1]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair)=3

R8: The first ObjectPropertySynset contains the owl:ObjectProperty owl:bottomObjectProperty
count(/ResponseMessage[1]/*[8]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with 13 ObjectPropertySynset
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset)=13

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasParent
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasParent' or @IRI='http://example.com/owl/families/hasParent'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasSpouse
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasRelative
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasRelative' or @IRI='http://example.com/owl/families/hasRelative'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:parentOf
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:parentOf' or @IRI='http://example.com/owl/families/parentOf'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasAncestor
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasAncestor' or @IRI='http://example.com/owl/families/hasAncestor'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasHusband
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasHusband' or @IRI='http://example.com/owl/families/hasHusband'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasDaughter
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasDaughter' or @IRI='http://example.com/owl/families/hasDaughter'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasSon
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSon' or @IRI='http://example.com/owl/families/hasSon'])=1

R8: ONe ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasChild
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasChild' or @IRI='http://example.com/owl/families/hasChild']/../owl:ObjectProperty[@abbreviatedIRI='otherOnt:child' or @IRI='http://example.org/otherOntologies/families/child'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasGrandparent
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasGrandparent' or @IRI='http://example.com/owl/families/hasGrandparent'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasUncle
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasUncle' or @IRI='http://example.com/owl/families/hasUncle'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:hasBrother
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasBrother' or @IRI='http://example.com/owl/families/hasBrother'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with families:loves
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:loves' or @IRI='http://example.com/owl/families/loves'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset families:hasParent and a SubObjectPropertySynsets with 1 ObjectPropertySynset
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasParent' or @IRI='http://example.com/owl/families/hasParent']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasFather' or @IRI='http://example.com/owl/families/hasFather'])=1

R8: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset families:hasSpouse and a SubObjectPropertySynsets with 1 ObjectPropertySynset
count(/ResponseMessage[1]/*[8]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasSpouse' or @IRI='http://example.com/owl/families/hasSpouse']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='families:hasWife' or @IRI='http://example.com/owl/families/hasWife'])=1

R9: IsDataPropertySatisfiable response is BooleanResponse true
name(/ResponseMessage[1]/*[9]) = 'BooleanResponse' and count(/ResponseMessage[1]/*[9][@result='true'])=1 or count(/ResponseMessage[1]/*[position()=9 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R10: GetSubDataProperties response is SetOfDataPropertySynsets containing 1 DataPropertySynset elements
count(/ResponseMessage[1]/*[10]/DataPropertySynset)=1 and count(/ResponseMessage[1]/*[10]/DataPropertySynset[1]/owl:DataProperty)=1 and name(/ResponseMessage[1]/*[10])='SetOfDataPropertySynsets'

R10: One owl:DataProperty element is owl:bottomDataProperty
count(/ResponseMessage[1]/*[10]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:bottomDataProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomDataProperty'])=1

R11: GetSuperDataProperties response is SetOfDataPropertySynsets containing 1 DataPropertySynset elements
count(/ResponseMessage[1]/*[11]/DataPropertySynset)=1 and count(/ResponseMessage[1]/*[11]/DataPropertySynset[1]/owl:DataProperty)=1 and name(/ResponseMessage[1]/*[11])='SetOfDataPropertySynsets'

R11: One owl:DataProperty element is owl:topDataProperty
count(/ResponseMessage[1]/*[11]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:topDataProperty' or @IRI='http://www.w3.org/2002/07/owl#topDataProperty'])=1

R12: GetEquivalentDataProperties response is DataPropertySynonyms containing 2 owl:DataProperty elements
count(/ResponseMessage[1]/*[12]/owl:DataProperty)=2 and name(/ResponseMessage[1]/*[12])='DataPropertySynonyms'

R12: One owl:DataProperty element is families:hasAge
count(/ResponseMessage[1]/*[12]/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge'])=1

R12: One owl:DataProperty element is otherOnt:age
count(/ResponseMessage[1]/*[12]/owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age'])=1

R13: GetDisjointDataProperties response is DataPropertySynsets containing 1 DataPropertySynset elements
count(/ResponseMessage[1]/*[13]/DataPropertySynset)=1 and count(/ResponseMessage[1]/*[11]/DataPropertySynset[1]/owl:DataProperty)=1 and name(/ResponseMessage[1]/*[13])='DataPropertySynsets' or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R13: One owl:DataProperty element is owl:bottomDataProperty
count(/ResponseMessage[1]/*[13]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:bottomDataProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomDataProperty'])=1 or count(/ResponseMessage[1]/*[position()=13 and (contains(@error, 'supported') or contains(@error, 'implemented'))])=1

R14: GetSubDataPropertyHierarchy response is DataPropertyHierarchy with a DataPropertySynset and a DataPropertySubDataPropertiesPair
name(/ResponseMessage[1]/*[14])='DataPropertyHierarchy' and count(/ResponseMessage[1]/*[14]/DataPropertySynset)=1 and count(/ResponseMessage[1]/*[14]/DataPropertySynset[1]/owl:DataProperty)=1 and count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair)=1 

R14: The DataPropertySubDataPropertiesPair contains a DataPropertySynset a SubDataPropertySynsets
count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/DataPropertySynset)=1 and count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/DataPropertySynset/owl:DataProperty)=1 and count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/SubDataPropertySynsets)=1 and count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/SubDataPropertySynsets/DataPropertySynset)=2

R14: The first DataPropertySynset contains the owl:DataProperty owl:bottomDataProperty
count(/ResponseMessage[1]/*[14]/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:bottomDataProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomDataProperty'])=1

R14: The second DataPropertySynset contains the owl:DataProperty owl:topDataProperty
count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='owl:topDataProperty' or @IRI='http://www.w3.org/2002/07/owl#topDataProperty'])=1

R14: The third DataPropertySynset contains the owl:DataProperty families:hasAge
count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/SubDataPropertySynsets/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasSSN' or @IRI='http://example.com/owl/families/hasSSN'])=1

R14: The fourth DataPropertySynset contains the owl:DataProperty elements families:hasAge and otherOnt:age
count(/ResponseMessage[1]/*[14]/DataPropertySubDataPropertiesPair/SubDataPropertySynsets/DataPropertySynset/owl:DataProperty[@abbreviatedIRI='families:hasAge' or @IRI='http://example.com/owl/families/hasAge']/../owl:DataProperty[@abbreviatedIRI='otherOnt:age' or @IRI='http://example.org/otherOntologies/families/age'])=1

R15: ReleaseKB response OK
name(/ResponseMessage[1]/*[15]) = 'OK'

R16: CreateKB response KB
name(/ResponseMessage[1]/*[16]) = 'KB' and count(/ResponseMessage[1]/*[16][@kb='http://www.owllink.org/examples/KB_BG']) = 1

R17: Tell response OK
name(/ResponseMessage[1]/*[17]) = 'OK'

R18: GetSubObjectPropertyHierarchy response is ObjectPropertyHierarchy with a ObjectPropertySynset and 2 ObjectPropertySubDataPropertiesPair elements
name(/ResponseMessage[1]/*[18])='ObjectPropertyHierarchy' and count(/ResponseMessage[1]/*[18]/ObjectPropertySynset)=1 and count(/ResponseMessage[1]/*[18]/ObjectPropertySynset[1]/owl:ObjectProperty)=1 and count(/ResponseMessage[1]/*[18]/ObjectPropertySubObjectPropertiesPair)=2

R18: The first ObjectPropertySynset contains the owl:ObjectProperty owl:bottomObjectProperty
count(/ResponseMessage[1]/*[18]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty'])=1

R18: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with 2 ObjectPropertySynset
count(/ResponseMessage[1]/*[18]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset)=2

R18: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with BG:s
count(/ResponseMessage[1]/*[18]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:s' or @IRI='http://www.owllink.org/examples/BG/s'])=1

R18: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset owl:topObjectProperty and a SubObjectPropertySynsets with BG:t
count(/ResponseMessage[1]/*[18]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:topObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#topObjectProperty']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:t' or @IRI='http://www.owllink.org/examples/BG/t'])=1

R18: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset BG:t and a SubObjectPropertySynsets with 1 ObjectPropertySynset
count(/ResponseMessage[1]/*[18]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:t' or @IRI='http://www.owllink.org/examples/BG/t']/../../SubObjectPropertySynsets/ObjectPropertySynset)=1

R18: One ObjectPropertySubObjectPropertiesPair contains a ObjectPropertySynset BG:t and a SubObjectPropertySynsets with BG:r
count(/ResponseMessage[1]/*[18]/ObjectPropertySubObjectPropertiesPair/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:t' or @IRI='http://www.owllink.org/examples/BG/t']/../../SubObjectPropertySynsets/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:r' or @IRI='http://www.owllink.org/examples/BG/r'])=1

R19: GetSubObjectProperties(owl:TopObjectProperty, direct=true) response is SetOfObjectPropertySynsets containing 2 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[19]/ObjectPropertySynset)=2 and count(/ResponseMessage[1]/*[19]/ObjectPropertySynset/owl:ObjectProperty)=2 and name(/ResponseMessage[1]/*[19])='SetOfObjectPropertySynsets'

R19: One owl:ObjectProperty element is BG:s
count(/ResponseMessage[1]/*[19]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:s' or @IRI='http://www.owllink.org/examples/BG/s'])=1

R19: One owl:ObjectProperty element is BG:t
count(/ResponseMessage[1]/*[19]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:t' or @IRI='http://www.owllink.org/examples/BG/t'])=1

R20: GetSubObjectProperties(owl:TopObjectProperty, direct=false) response is SetOfObjectPropertySynsets containing 4 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[20]/ObjectPropertySynset)=4 and count(/ResponseMessage[1]/*[20]/ObjectPropertySynset/owl:ObjectProperty)=4 and name(/ResponseMessage[1]/*[20])='SetOfObjectPropertySynsets'

R20: One owl:ObjectProperty element is BG:s
count(/ResponseMessage[1]/*[20]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:s' or @IRI='http://www.owllink.org/examples/BG/s'])=1

R20: One owl:ObjectProperty element is BG:r
count(/ResponseMessage[1]/*[20]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:r' or @IRI='http://www.owllink.org/examples/BG/r'])=1

R20: One owl:ObjectProperty element is BG:t
count(/ResponseMessage[1]/*[20]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:t' or @IRI='http://www.owllink.org/examples/BG/t'])=1

R20: One owl:ObjectProperty element is owl:bottomObjectProperty
count(/ResponseMessage[1]/*[20]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty'])=1

R21: GetSubObjectProperties(owl:ObjectInverseOf(t), direct=true) response is SetOfObjectPropertySynsets containing 1 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[21]/ObjectPropertySynset)=1 and count(/ResponseMessage[1]/*[21]/ObjectPropertySynset/owl:ObjectProperty)=1 and name(/ResponseMessage[1]/*[21])='SetOfObjectPropertySynsets'

R21: One owl:ObjectProperty element is BG:s
count(/ResponseMessage[1]/*[21]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:s' or @IRI='http://www.owllink.org/examples/BG/s'])=1

R22: GetSubObjectProperties(owl:ObjectInverseOf(t), direct=false) response is SetOfObjectPropertySynsets containing 2 ObjectPropertySynset elements
count(/ResponseMessage[1]/*[22]/ObjectPropertySynset)=2 and count(/ResponseMessage[1]/*[22]/ObjectPropertySynset/owl:ObjectProperty)=2 and name(/ResponseMessage[1]/*[22])='SetOfObjectPropertySynsets'

R22: One owl:ObjectProperty element is BG:s
count(/ResponseMessage[1]/*[22]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='BG:s' or @IRI='http://www.owllink.org/examples/BG/s'])=1

R22: One owl:ObjectProperty element is owl:bottomObjectProperty
count(/ResponseMessage[1]/*[22]/ObjectPropertySynset/owl:ObjectProperty[@abbreviatedIRI='owl:bottomObjectProperty' or @IRI='http://www.w3.org/2002/07/owl#bottomObjectProperty'])=1

R23: ReleaseKB response OK
name(/ResponseMessage[1]/*[23]) = 'OK'