def test_nested_instantiated(self):
uni = Universal("x", Existential("y", Atom("Nested", ("x", "y"))))
inst = uni.instantiate("x", "alpha")
self.assertEqual(Existential("y", Atom("Nested", ("alpha", "y"))), inst)
def test_instantiate_atom(self):
universal = Universal("x", self.test_atom)
test = universal.instantiate(universal.var, "nothing")
self.assertEqual(self.result_atom, test)
def test_instantiate_binary(self):
for c in self.binary:
universal = Universal("x", c(self.test_atom, self.test_atom))
test = universal.instantiate(universal.var, "nothing")
self.assertEqual(c(self.result_atom, self.result_atom), test)
