<?xml version="1.0"?>

<!DOCTYPE tp SYSTEM "http://nb.vse.cz/~svabo/patomat/tp/tp.dtd" [      
   <!ENTITY ann "http://nb.vse.cz/~svabo/patomat/PatternAnnotation.owl#" >
]>

<tp name="tp_ce-hasValue" 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="Individual">?a</placeholder>
    </entity_declarations>
    <axioms>
      <axiom>Class: ?A EquivalentTo: (?p value ?a)</axiom>
    </axioms>
  </op1>
  <op2>
    <entity_declarations>
      <placeholder type="Class">?B</placeholder>
      <placeholder type="Literal">?X</placeholder>
      <placeholder type="Literal">?Y</placeholder>
      <entity type="AnnotationProperty">&ann;discr_property</entity>
      <entity type="AnnotationProperty">&ann;value</entity>
    </entity_declarations>
    <axioms>
      <axiom>Class: ?B Annotations: discr_property ?X</axiom>
      <axiom>Class: ?B Annotations: value ?Y</axiom>
    </axioms>
  </op2>
  <pt>
    <eq op1="?A" op2="?B"/>
    <eqAnn op1="?p" op2="?X"/>
    <eqAnn op1="?a" op2="?Y"/>
    <ntp entity="?B">make_passive_verb(?a)+head_noun(?A)</ntp>
<!--    <enp entity="?B">?a+head_term(?p)+head_noun(?A)</enp> -->
  </pt>
</tp>