<!– $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc Exp $ –> <grammar xmlns=“relaxng.org/ns/structure/1.0

datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"
 xmlns:p="http://relaxng.org/ns/proofsystem">

<start>

<grammar>
  <include href="docbook.rng"/>
  <define name="synop.class" combine="choice">
    <choice>
      <parentRef name="rngref"/>
      <parentRef name="grammarref"/>
      <grammar>
        <include href="proofsystem.rng"/>
        <start combine="choice">
          <ref name="formula"/>
        </start>
      </grammar>
    </choice>
  </define>
  <define name="tech.char.class" combine="choice">
    <parentRef name="terms"/>
  </define>
</grammar>

</start>

<define name=“rngref”>

<element name="rngref">
  <attribute name="src">
    <data type="anyURI"/>
  </attribute>
</element>

</define>

<define name=“grammarref”>

<element name="grammarref">
  <attribute name="src">
    <data type="anyURI"/>
  </attribute>
</element>

</define>

<define name=“terms”>

<grammar>
   <include href="proofsystem.rng">
     <start>
       <choice>
         <ref name="expr"/>
         <ref name="judgement"/>
         <ref name="context"/>
       </choice>
     </start>
   </include>
</grammar>

</define>

</grammar>