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)