tue_reasoner