In formal linguistics, discourse representation theory is a framework for exploring meaning under a formal semantics approach. Wikipedia