R1: CreateKB response is KB
name(/ResponseMessage[1]/*[1]) = 'KB'

R1: CreateKB response KB is named correctly
count(/ResponseMessage[1]/*[1][@kb='http://www.owllink.org/examples/KB_1']) = 1

R2: Tell response OK
name(/ResponseMessage[1]/*[2]) = 'OK'

R3: IsClassSatisfiable response is BooleanResponse
name(/ResponseMessage[1]/*[3]) = 'BooleanResponse'

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

R4: ReleaseKB response OK
name(/ResponseMessage[1]/*[4]) = 'OK'