Semantic tracing of TextSeer