public override void SemanticPredicate(bool result, string predicate)
{
stats.numSemanticPredicates++;
if (InDecision)
{
DecisionEvent d = CurrentDecision();
d.evalSemPred = true;
d.decision.numSemPredEvals++;
if (dump)
{
Console.WriteLine("eval " + predicate + " in " + d.decision.ruleName + "-" +
d.decision.decision);
}
}
}