Footnote

In the current implementation, all the results and tags of evaluating subclauses are discovered during rule firing. However, for assumptions with keywords such as total, combining this information to yield conflict tags is relatively time consuming, and therefore this process is delayed until after the rules have fired so that it is only done once.