Computing Dekker's Predicate Logic with Anaphora