Class RulesEntailment