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"])