Procedure RESOLUTION
(A,L(AAS))
Let ANAPHOR = the anaphor A Let AAS = anaphoric accessibility space from A Let LIST = a list L(AAS) of all NPs (antecedent candidates)from AAS For each NP in LIST, apply constrains of morphological agreement between NP and ANAPHOR to obtain LIST1 end for For each NP in LIST1, apply constrains of syntactic conditions between NP and ANAPHOR to obtain LIST2 end for For all NP in LIST2, apply linguistic and discourse structural preferences (in the order described in step 3 below ) until |LIST2| = 1 end for Return LIST2 end procedure |