Resolving an anaphor is the job of finding out which discourse marker (unique internal name) to use for the entity referred to by this phrase in the knowledge base.
a single semantic formula usually corresponds to several different sentences, even without taking synonymity of words into account.