coror reasoner