en:symbolic_reasoning