Update reasoner