<monet:definitions xmlns:monet="http://monet.nag.co.uk/monet/ns"
                   xmlns:om="http://www.openmath.org/OpenMath"
                   targetNamespace="http://monet.nag.co.uk/problems/" >

 <monet:problem name ="definite_integration">
  <monet:header>
    <monet:taxonomy taxonomy="http://gams.nist.gov" code="GamsH2a" />
  </monet:header>

  <monet:body>

    <monet:input name="integrand">
      <monet:signature>
        <om:OMOBJ>
          <om:OMA>
            <om:OMS cd="sts"  name="mapsto" />
            <om:OMV name="R"/>
            <om:OMV name="R"/>
          </om:OMA>
        </om:OMOBJ>
      </monet:signature>
    </monet:input>

    <monet:input name="lower_bound">
      <monet:signature>
        <om:OMOBJ>
          <om:OMV name="R"/>
        </om:OMOBJ>
      </monet:signature>
    </monet:input>

    <monet:input name="upper_bound">
      <monet:signature>
        <om:OMOBJ>
          <om:OMV name="R"/>
        </om:OMOBJ>
      </monet:signature>
    </monet:input>

    <monet:output name="integral">
      <monet:signature>
        <om:OMOBJ>
          <om:OMV name="R"/>
        </om:OMOBJ>
      </monet:signature>
    </monet:output>

  </monet:body>

 </monet:problem>
</monet:definitions>