def test_context_prevents_implied_by_factor_tuples_not_lists(
self, make_statement):
left = FactorGroup(make_statement["more"])
assert not left.implied_by(
make_statement["way_more"],
context=(("<San Francisco>", ), (Entity(name="Richmond"), )),
)
def test_implied_by(self):
left = FactorGroup([
Statement(
predicate=Predicate(
content=
"${rural_s_telephone_directory} was a compilation of facts"
),
terms=(Entity(name="Rural's telephone directory"), ),
)
])
right = FactorGroup([
Statement(
predicate=Predicate(
content="${rural_s_telephone_directory} was an idea"),
terms=(Entity(name="Rural's telephone directory"), ),
)
])
assert not left.implied_by(right)
def test_context_prevents_implied_by_factor(self, make_statement):
left = FactorGroup(make_statement["more"])
assert not left.implied_by(
make_statement["way_more"],
context=(["<San Francisco>"], [Entity(name="Richmond")]),
)
def test_group_implied_by_factor(self, make_statement):
left = FactorGroup(make_statement["more"])
assert left.implied_by(make_statement["way_more"])