n class="nb">AND</span><span class="p">.</span><span class="w"> </span><span class="n">p2</span><span class="o">&lt;</span><span class="n">p1</span><span class="w"> </span><span class="p">)</span><span class="w"> </span><span class="k">THEN</span>
<span class="k">                     IF</span><span class="w"> </span><span class="p">(</span><span class="w"> </span><span class="n">p2</span><span class="o">&lt;=</span><span class="n">P</span><span class="w"> </span><span class="p">)</span><span class="w"> </sp