if you're ever asked for the difference between "DRT" and "File Change Semantics"...

A quote from David Beaver I found in my class notes from the LSA:

"Hmm, representing discourse. Well, Gilles Fauconnier's theory of discourse representation, called "Mental Spaces", uses circles with lines connecting them, like this. [draws circles]

Hans Kamp's theory of discourse representation, called "Discourse Representation Theory" (DRT), uses rectangles inside of other rectangles. [draws rectangles]

Irene Heim's theory of discourse representation, called "File Change Semantics," uses skinnier rectangles than in DRT. [draws skinner rectangles]

Those are basically the differences, except mental spaces doesn't have a model theoretic interpretation, so forget that. Ok, back to the class material..."