zh:symbolic_reasoning