<?xml version="1.0" encoding="UTF-8"?>
<!-- <!DOCTYPE tp SYSTEM "file:////home/ondrej/prace/PatOMat/TPs/tp.dtd"> -->
<!DOCTYPE tp SYSTEM "http://nb.vse.cz/~svabo/patomat/tp/tp.dtd">
<!-- <tp name="tp_hasSome2" xmlns="file:///home/ondrej/prace/PatOMat/TPs/tp-schema.xsd"> -->
<tp name="tp_hasSome2" xmlns="http://nb.vse.cz/~svabo/patomat/tp/tp-schema.xsd">
  <op1>
    <entity_declarations>
      <placeholder type="ObjectProperty">?p</placeholder>
      <placeholder type="Class">?A</placeholder>
      <placeholder type="Class">?B</placeholder>
      <placeholder type="Class">?C</placeholder>
    </entity_declarations>
    <axioms>
      <axiom>ObjectProperty: ?p Domain: ?A</axiom>
      <axiom>ObjectProperty: ?p Range: ?B</axiom>
      <axiom>Class: ?C SubClassOf: ?B</axiom>
    </axioms>
    <ndp>
      <!-- <similar threshold="0.6" measure="levenshtein">?C,?p</similar> -->
      <comparison threshold="1.0" measure="equal"><s1>?B</s1><s2>head_term(?p)</s2></comparison>
      <exist>verb_form(?C)</exist>
      <!-- <equal entity="?C">head_noun(?p)</equal> -->
    </ndp>
  </op1>
  <op2>
    <entity_declarations>
      <placeholder type="ObjectProperty">?q</placeholder>
      <placeholder type="Class">?D</placeholder>
      <placeholder type="Class">?E</placeholder>
      <placeholder type="Class">?F</placeholder>
      <placeholder type="Class">?G</placeholder>
    </entity_declarations>
    <axioms>
      <axiom>ObjectProperty: ?q Domain: ?D</axiom>
      <axiom>ObjectProperty: ?q Range: ?E</axiom>
      <axiom>Class: ?F SubClassOf: ?E</axiom>
      <axiom>Class: ?G EquivalentTo: (?q some ?F)</axiom>
      <axiom>Class: ?G EquivalentTo: ?D</axiom>
      <axiom>Class: ?G SubClassOf: ?D</axiom>
    </axioms>
  </op2>
  <pt>
    <eq op1="?A" op2="?D"/>
    <eq op1="?B" op2="?E"/>
    <eq op1="?C" op2="?F"/>
    <eq op1="?p" op2="?q"/>
    <ntp entity="?G">make_passive_verb(?C)+head_noun(?A)</ntp>
    <ntp entity="?D">?A</ntp>
    <ntp entity="?E">?B</ntp>
    <!-- <ntp entity="?F">?C</ntp> -->
    <ntp entity="?q">?p</ntp>
    <!-- <ntp entity="?G">make_passive(verb_form(?C))+head_noun(?A)</ntp> -->
  </pt>
</tp>