def test_defends_with_empty_body_rules(self):
baba = ExampleFrameworks.cow_framework()
self.assertFalse(Semantics.defends(baba, [],
ExampleFrameworks.not_HOC))
self.assertTrue(Semantics.defends(baba, [], ExampleFrameworks.not_FM))
def test_defends(self):
self.assertTrue(Semantics.defends(venice_baba, [e, c], a))
self.assertTrue(Semantics.defends(venice_baba, [c], a))
self.assertTrue(Semantics.defends(venice_baba, [d], b))
self.assertFalse(Semantics.defends(venice_baba, [a, c], e))
self.assertFalse(Semantics.defends(venice_baba, [a, b, c], d))
self.assertFalse(Semantics.defends(venice_baba, [d, e], a))
self.assertTrue(Semantics.defends(s_baba, [a, c, f], e))
self.assertTrue(Semantics.defends(s_baba, [c], e))
self.assertFalse(Semantics.defends(s_baba, [b, f], d))
self.assertFalse(Semantics.defends(s_baba, [a, b], e))
self.assertFalse(Semantics.defends(s_baba, [d, e, f], c))
self.assertFalse(Semantics.defends(s_baba, [c, d, e, f], a))
