def test_index_fact2(): assert sat.index_fact(fact1, index=3, negated=True) == "not-at-station-3"
def test_index_fact1(): assert sat.index_fact(fact1, 3) == "at-station-3"