 <monet:problem         xmlns:monet="http://monet.nag.co.uk/monet/ns"        xmlns:om="http://www.openmath.org/OpenMath"        name ="1D Numerical Definite Integration With Accuracy Bound"> <monet:header>  </monet:header> <monet:body> <monet:input name="F"><monet:signature><om:OMOBJ >
               <om:OMA >
                  <om:OMS  cd="sts"  name="mapsto" />
                  
                  <om:OMS  cd="setname1"  name="R" />
                  
                  <om:OMS  cd="setname1"  name="R" /></om:OMA></om:OMOBJ></monet:signature></monet:input><monet:input name="x"><monet:signature><om:OMOBJ >
               <om:OMV  name="x" /></om:OMOBJ></monet:signature></monet:input><monet:input name="a"><monet:signature><om:OMOBJ >
               <om:OMS  cd="setname1"  name="R" /></om:OMOBJ></monet:signature></monet:input><monet:input name="b"><monet:signature><om:OMOBJ >
               <om:OMS  cd="setname1"  name="R" /></om:OMOBJ></monet:signature></monet:input><monet:input name="e"><monet:signature><om:OMOBJ >
               <om:OMS  cd="setname1"  name="R" /></om:OMOBJ></monet:signature></monet:input> <monet:output name="I"><monet:signature><om:OMOBJ >
               <om:OMS  cd="setname1"  name="R" /></om:OMOBJ></monet:signature></monet:output><monet:output name="E"><monet:signature><om:OMOBJ >
               <om:OMS  cd="setname1"  name="R" /></om:OMOBJ></monet:signature></monet:output>  <monet:post-condition><om:OMOBJ >
            <om:OMA >
               <om:OMS  cd="relation1"  name="lt" />
               
               <om:OMV  name="E" />
               
               <om:OMV  name="e" /></om:OMA></om:OMOBJ></monet:post-condition><monet:post-condition><om:OMOBJ >
            <om:OMA >
               <om:OMS  cd="arith1"  name="lt" />
               
               <om:OMA >
                  <om:OMS  cd="arith1"  name="abs" />
                  
                  <om:OMA >
                     <om:OMS  cd="arith1"  name="minus" />
                     
                     <om:OMV  name="I" />
                     
                     <om:OMA >
                        <om:OMS  cd="calculus1"  name="defint" />
                        
                        <om:OMA >
                           <om:OMS  cd="interval1"  name="interval" />
                           
                           <om:OMV  name="a" />
                           
                           <om:OMV  name="b" /></om:OMA>
                        <om:OMBIND >
                           <om:OMS  cd="fns1"  name="lambda" />
                           
                           <om:OMBVAR >
                              <om:OMV  name="x" /></om:OMBVAR>
                           <om:OMA >
                              <om:OMV  name="f" />
                              
                              <om:OMV  name="x" /></om:OMA></om:OMBIND></om:OMA></om:OMA></om:OMA>
               <om:OMV  name="E" /></om:OMA></om:OMOBJ></monet:post-condition> </monet:body> </monet:problem>