Logical reasoning in AI