integrating reasoner, inference and candidate matching