Chunking First Traces Backwards to find Preconditions

Soar wants to create a new rule that tells it which things in the state determined that it make the successful choice. It must trace back through all the subgoals of that state to find conditions in the state itself.