Make sure that each DeductionRule can be used with one item as often as new items are generated about cl-toolbox HOT 2 CLOSED

Create a new Class of rules for each rule except the axioms. Maybe even separate axioms from dynamic rules.
Tell rule how many antecedences it needs.
Make Deduction system tries out rule with all combinations of the item-to-process with all chart items. It knows the ids of the items it put in.
Rule returns consequences if antecedences could be used, otherwise the list of consequences is empty.
Change all TAG and CFG rules to that new system.

from cl-toolbox.

Done/obsolete. In new branch every itemcombination is tried out for every dynamic rule. I made sure that the new rules are not ambiguous, hence they don't need to be applied twice with the same items.

from cl-toolbox.