def test_no_contradiction_inconsistent_dimensions(self):
equal = Comparison(
content="${defendant}'s sentence was", sign="=", expression="8 years"
)
less = Comparison(
content="${defendant}'s sentence was", sign="<=", expression="10 parsecs"
)
assert not equal.contradicts(less)
assert not equal.implies(less)
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_implication_due_to_dates(self):
copyright_date_range = Comparison(
content="the date when $work was created was",
sign=">=",
expression="1978-01-01",
)
copyright_date_specific = Comparison(
content="the date when $work was created was",
sign="=",
expression=date(1980, 6, 20),
)
assert copyright_date_specific.implies(copyright_date_range)
def test_no_implication_of_greater_or_equal_quantity(self):
less = Comparison(content="The number of mice was", sign=">", expression=4)
more = Comparison(content="The number of mice was", sign=">=", expression=5)
assert not less.implies(more)
