1.Introduction -- 2. Predicate Logic with Anaphora -- 3. Information Update