Negation in situation semantics and discourse representation theory | lit.salon