Inferencing and Reasoning