la:symbolic_reasoning