Model-Theoretic Incremental Interpretation Based on Discourse Representation Theory