in rules/rule.py [0:0]
def implies(self, other):
for other_pred in other.elems:
implied = False
for self_pred in self.elems:
if self_pred.implies(other_pred):
implied = True
break
if not implied:
return False
return True