x > 0 and z < 1 as <reln>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<and/>
<reln>
<gt/>
<ci>x</ci>
<cn>0</cn>
</reln>
<reln>
<lt/>
<ci>x</ci>
<cn>1</cn>
</reln>
</apply>
</math>
Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)