Abductive reasoner in textseer