Given the following linguistics (and some non-linguistic) constructions:
entailment, implicature, Strawson entailment, semantic underspecification, discourse representation theory, rhetorical structure theory and description logic.
My question is: Is there a system trying to integrate all the above cited constructions and designing a powerful Machine Comprehesion algorithm?
I've googled for a kind of linguistic "theory of everything" enabling a machine to read like a man but I haven't find an answer.