def test_entity_does_not_imply_statement(self):
entity = Entity(name="Bob")
statement = Statement(predicate="$person loves ice cream", terms=entity)
assert not entity.implies(statement)
assert not statement.implies(entity)
assert not entity >= statement
assert not statement >= entity
assert not entity > statement
assert not statement > entity
def test_implies_concrete_with_same_name(self):
concrete = Entity(name="Bob", generic=False)
other = Entity(name="Bob", generic=False)
assert concrete.implies(other)
assert concrete >= other
assert not concrete > other
def test_implication_concrete_with_different_name(self):
concrete = Entity(name="Bob", generic=False)
generic = Entity(name="Barb")
assert concrete.implies(generic)
assert concrete > generic
assert concrete >= generic
