discussion:en:symbolic_reasoning