italic;">X<sub>0</sub></span>,&nbsp;<span style="font-style: italic;">x</span><sub>1</sub>&nbsp;&isin;&nbsp;<span style="font-style: italic;">X<sub>1</sub></span>)</span></sub>&nbsp;(&phi;)</td><td>&nbsp;&nbsp;&nbsp;</td><td><span style="font-family: courier new,courier,monospace;">(exists&nbsp;((X0&nbsp;x0)&nbsp;(X1&nbsp;x1))&nbsp;P)</span></td></tr>
<caption>Table&nbsp;1:&nbsp;<span style="font-weight: bold;">Syntax&nbsp;Tutorial</span></caption>
</table>

<p class="text">&nbsp;</p>

<p class="text unicod