Title: Negation in situation semantics and discourse representation theory