I'd define reasoning as computing the transitive closure of your knowledge