Binding Theory: The Coreference rule