Rules lhs_not and lhs_exist are analogous, and both of them are derivations of lhs_unary.<br><br>But lhs_unary also has the alternative lhs_not_binding, which permits us to write one of<br>these two forms:<br> not $label : Fact( )<br>
not $label : ( Fact1() || Fact2() || ... )<br><br>Is this binding, which is restricted to the scope of 'not', useful in any way?<br>Possibly within the 1st form, in an inline eval. But I don't see how it can<br>
be used in the second case. <br><br>Why is the same binding not possible with 'exists'?<br><br>(This is not meant to say that I'd like to have binding for 'exists', too.)<br><br>-W<br><br><br><br><br><br>
<br>