def test_no_contradiction_of_predicate(self):
more_cows = Comparison(
content="the number of cows $person owned was",
sign=">",
expression=10,
)
no_cows = Predicate(content="the number of cows $person owned was", truth=False)
assert not more_cows.contradicts(no_cows)
assert not no_cows.contradicts(more_cows)
def test_comparison_implies_predicate_false(self):
distance = Comparison(
content="the distance between $place1 and $place2 was",
sign=">",
expression="20 miles",
)
predicate = Predicate(content="the distance between $place1 and $place2 was")
assert not distance.implies(predicate)
assert not distance.contradicts(predicate)
assert not predicate.contradicts(distance)
def test_predicate_does_not_contradict(self, make_comparison):
irrelevant = Predicate(content="things happened")
assert not irrelevant.contradicts(make_comparison["less"])
