tyle: initial; border-color: initial;">By default, GAFs which begin with the predicates #$isa and #$genls are monotonically true, while all other assertions (including rules) are default true.</p>
<h3 style="border-style: initial; border-color: initial;">2.8.4. <a style="border-style: initial; border-color: initial;" name="137581464" id="137581464"></a> Directions</h3>
<p style="border-style: initial; border-color: initial;">Direction is a value associated with every assertion that determines when inferen