LogicalRules improvements