通用符号推理