def test_empty_contraries(self):
baba = ExampleFrameworks.with_no_contraries()
contraries = Semantics.contraries(baba, [a, b, c, d, e, f])
self.assertEqual(0, len(contraries))
def test_contraries(self):
baba = ExampleFrameworks.valid_BABA_framework()
contraries = Semantics.contraries(baba, [b, c])
self.assertIn(d, contraries)
self.assertIn(e, contraries)
self.assertEqual(2, len(contraries))
