public void Then(SimplePredicate p) { this.consecuent = p; }
public Rule(Predicate antecedent, SimplePredicate consecuent) { this.antecedent = antecedent; this.consecuent = consecuent; }