Reasoner expanded