But , obviously , there are other possibilities -- for instance , the discourse representation structures ( DRS 's ) of Kamp ( 1981 ) , which have been used to translate a subset of English into logical formulas , to model text ( identified with a list of sentences ) , to analyze a fragment of English , and to deal with anaphora .
a theory of truth and semantic representationquot
H Kamp
So we will use a very simple formalism , like the one above , resembling the standard first order language . But , obviously , there are other possibilities -- for instance , the discourse representation structures ( DRS 's ) of Kamp ( 1981 ) , which have been used to translate a subset of English into logical formulas , to model text ( identified with a list of sentences ) , to analyze a fragment of English , and to deal with anaphora . The logical
But , obviously , there are other possibilities -- for instance , the discourse representation structures ( DRS 's ) of @@CITATION , which have been used to translate a subset of English into logical formulas , to model text ( identified with a list of sentences ) , to analyze a fragment of English , and to deal with anaphora .