 discourse representation theory |  Grice, Paul |  implicature |  linguistics: computational |  logic: non-monotonic |  logical form |  meaning, theories of |  pragmatics |  reasoning: defeasible |  speech acts 