def test_entitypropertyAndpropertyentity(self):
coq_type = 'Parameter base : (Entity -> Prop) -> Prop.'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base' : read_type('<<e,t>,<t,e>>')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_entity(self):
coq_type = 'Parameter base : Entity.'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base' : read_type('e')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_property(self):
coq_type = 'Parameter base : Prop.'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base' : read_type('t')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_event_and_entity_property(self):
coq_type = 'Parameter base : Event -> (Entity -> Prop).'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base': read_type('<v,<e,t>>')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_entity_property_and_property_entity(self):
coq_type = 'Parameter base : (Entity -> Prop) -> (Prop -> Entity).'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base': read_type('<<e,t>,<t,e>>')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_entity_property_property(self):
coq_type = 'Parameter base : Entity -> Prop -> Prop.'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base': read_type('<e,<t,t>>')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_event(self):
coq_type = 'Parameter base : Event.'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base': read_type('v')}
self.assertEqual(expected_nltk_type, nltk_type)
def test_property(self):
coq_type = 'Parameter base : Prop.'
nltk_type = convert_coq_to_nltk_type(coq_type)
expected_nltk_type = {'base': read_type('t')}
self.assertEqual(expected_nltk_type, nltk_type)
