Resolving Co-reference Anaphora Using Semantic Constraints: A Thesis on the Theory of Anaphora and Its Resolution Resolution