<?xml version='1.0'?>

<example>
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
    <OMA>
        <OMS cd="relation1" name="eq"/>
        <OMA>
            <OMV name="X"/>
            <OMA>
                <OMS cd="arith1" name="plus"/>
                <OMV name="t"/>
                <OMI>1</OMI>
            </OMA>
        </OMA>
        <OMA>
            <OMS cd="arith1" name="plus"/>
            <OMA>
                <OMS cd="arith1" name="times"/>
                <OMV name="a"/>
                <OMA>
                    <OMV name="X"/>
                    <OMV name="t"/>
                </OMA>
            </OMA>
            <OMV name="b"/>
        </OMA>
    </OMA>
</OMOBJ>
<p>met</p>
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
    <OMA>
        <OMS cd="relation1" name="neq"/>
        <OMV name="a"/>
        <OMI>1</OMI>
    </OMA>
</OMOBJ>
<p>is</p>
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
    <OMA>
        <OMS cd="relation1" name="eq"/>
        <OMA>
            <OMV name="X"/>
            <OMV name="t"/>
        </OMA>
        <OMA>
            <OMS cd="arith1" name="plus"/>
            <OMA>
                <OMS cd="arith1" name="divide"/>
                <OMV name="b"/>
                <OMA>
                    <OMS cd="arith1" name="minus"/>
                    <OMI>1</OMI>
                    <OMV name="a"/>
                </OMA>
            </OMA>
            <OMA>
                <OMS cd="arith1" name="times"/>
                <OMA>
                    <OMS cd="arith1" name="minus"/>
                    <OMA>
                        <OMV name="X"/>
                        <OMI>0</OMI>
                    </OMA>
                    <OMA>
                        <OMS cd="arith1" name="divide"/>
                        <OMV name="b"/>
                        <OMA>
                            <OMS cd="arith1" name="minus"/>
                            <OMI>1</OMI>
                            <OMV name="a"/>
                        </OMA>
                    </OMA>
                </OMA>
                <OMA>
                    <OMS cd="arith1" name="power"/>
                    <OMV name="a"/>
                    <OMV name="t"/>
                </OMA>
            </OMA>
        </OMA>
    </OMA>
</OMOBJ>
</example>
