We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This inference system exploits anaphoric accessibility conditions known from dynamic semantics to decide scope ambiguities if possible. The main feature of the system is that it deals with underspecified descriptions directly, i.e. without enumerating readings.