ResponseMessage(
  KB(Attribute(kb <http://www.owllink.org/examples/KB_ext1>))
  OK()
  SetOfIndividualSynsets(
    IndividualSynset(
      <http://www.owllink.org/examples/myOntology#i>))
  OK()
  SetOfIndividualSynsets()
  OK())