(2014), which also uses the notion of model from Formal Semantics to recognize entailment based on denotations of words and phrases.
since the denotations in their approach are ultimately derived from humangenerated captions of images, the method does not generalize to concepts that are not exemplified in the training database.