Add possibility for <phrase> to be a definiens

[jbs1]

migrated from Trac, where originally posted by clange on 29-Aug-2010 11:56am

In the following example for parallel markup/literate programming, we have a term (definiendum), which is defined by a phrase. So the <phrase> element needs some markup to state that it is a definiens. A year ago I have come up with the markup below, not yet thinking of its semantics in terms of the OMDoc ontology, but I think it's a good start:

<definition for="Student" type="simple" xml:id="Student.def">
  <CMP><term xml:id="stud" cd="uni" name="Student" role="definiendum">A student</term> is 
<phrase role="definiens" for="#stud" verbalizes="#A"><phrase verbalizes="#A2">a person</phrase> <phrase verbalizes="#A1">who 
is</phrase> <phrase verbalizes="#A3"><phrase verbalizes="#A3B">enrolled</phrase> <phrase verbalizes="#A3C">
<phrase verbalizes="#A3C1">at least</phrase> <phrase verbalizes="#A3C2">once</phrase></phrase></phrase></phrase>.</CMP>
  <OMOBJ xmlns="http://www.openmath.org/OpenMath">
    <OMA id="#A">
      <OMS id="#A1" cd="owl" name="intersectionOf"/>
      <OMS id="#A2" cd="foaf" name="Person"/>
      <OMA id="#A3">
        <OMS id="#A3A" cd="owl" name="Restriction"/>
        <OMS id="#A3B" cd="uni" name="enrolledIn"/>
        <OMA id="#A3C">
          <OMS id="#A3C1" cd="owl" name="minCardinality"/>
          <OMI id="#A3C2">1</OMI>
        </OMA>
      </OMA>
    </OMA>
  </OMOBJ>
</definition>

[jbs1]

migrated from Trac, where originally posted by clange on 29-Aug-2010 11:58am

Nonsense, I think nesting <term role="definiens"><phrase verbalizes="#A">...</phrase></term> does the job well enough.