added fact retraction and reference to rete section