update reasoner comparator