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'

R3: IsClassSatisfiable response is BooleanResponse true
name(/ResponseMessage[1]/*[3]) = 'BooleanResponse' and count(/ResponseMessage[1]/*[3][@result='true'])=1

R4: GetDisjointClasses response is ClassSynsets containing five ClassSynset elements
count(/ResponseMessage[1]/*[4]/ClassSynset)=5 and name(/ResponseMessage[1]/*[4])='ClassSynsets'

R4: GetDisjointClasses response ClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[4]/ClassSynset[1]/owl:Class)=1

R4: GetDisjointClasses response ClassSynsets second ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[4]/ClassSynset[2]/owl:Class)=1

R4: GetDisjointClasses response ClassSynsets third ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[4]/ClassSynset[3]/owl:Class)=1

R4: GetDisjointClasses response ClassSynsets forth ClassSynset contains one owl:Class"
count(/ResponseMessage[1]/*[4]/ClassSynset[4]/owl:Class)=1

R4: GetDisjointClasses response ClassSynsets fifth ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[4]/ClassSynset[5]/owl:Class)=1

R4: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is owl:Nothing
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Nothing' or @IRI='http://www.w3.org/2002/07/owl#Nothing'])=1

R4: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is families:YoungChild
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:YoungChild' or @IRI='http://example.com/owl/families/YoungChild'])=1

R4: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is families:Woman
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:Woman' or @IRI='http://example.com/owl/families/Woman'])=1

R4: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is Mother
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='owl:Nothing' or @IRI='http://example.com/owl/families/Mother'])=1

R4: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is families:ChildlessPerson
count(/ResponseMessage[1]/*[4]/ClassSynset/owl:Class[@abbreviatedIRI='families:ChildlessPerson' or @IRI='http://example.com/owl/families/ChildlessPerson'])=1

R5: GetSubClasses response is SetOfClassSynsets containing 2 ClassSynset
count(/ResponseMessage[1]/*[5]/ClassSynset)=2 and name(/ResponseMessage[1]/*[5])='SetOfClassSynsets'

R5: GetDisjointClasses response ClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[5]/ClassSynset[1]/owl:Class)=1

R5: GetDisjointClasses response ClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[5]/ClassSynset[2]/owl:Class)=1

R5: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is families:Father
count(/ResponseMessage[1]/*[5]/ClassSynset/owl:Class[@abbreviatedIRI='families:Mother' or @IRI='http://example.com/owl/families/Father'])=1

R5: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is families:Mother
count(/ResponseMessage[1]/*[5]/ClassSynset/owl:Class[@abbreviatedIRI='families:Mother' or @IRI='http://example.com/owl/families/Mother'])=1

R6: GetSubClasses response is SetOfClassSynsets containing 1 ClassSynset
count(/ResponseMessage[1]/*[6]/ClassSynset)=1 and name(/ResponseMessage[1]/*[5])='SetOfClassSynsets'

R6: GetDisjointClasses response ClassSynsets first ClassSynset contains one owl:Class
count(/ResponseMessage[1]/*[6]/ClassSynset[1]/owl:Class)=1

R6: GetDisjointClasses response ClassSynsets contains one ClassSynset with owl:Class is families:Father
count(/ResponseMessage[1]/*[6]/ClassSynset/owl:Class[@abbreviatedIRI='families:Father' or @IRI='http://example.com/owl/families/Father'])=1

R7: GetSubClasses of owl:Nothing response ClassSynsets contains one ClassSynset with owl:Class is families:ChildlessPerson
name(/ResponseMessage[1]/*[7]) = 'SetOfClassSynsets'

R8: ReleaseKB response OK
name(/ResponseMessage[1]/*[8]) = 'OK'