ont-size: medium; line-height: normal;">. An ASSERT with direction :forward will cause inference to be performed at assert time; an ASSERT with direction :backward will cause inference to be deferred until ask time.</span></p>
<p> </p>
<h3>
	<a name="5.1" id="5.1"></a>5.1 Backward GAFs</h3>
<p><span style="font-family: 'Times New Roman'; font-size: medium; line-height: normal;">A backward GAF is a GAF that will not be involved in forward inference. Forward inference only takes place among rules and GAFs 