Context in dynamic predicate logic door A. Visser