LogicRuleAplier