A Semantic Representation Formalism for Cooperative Question Answering Systems