标签:符号推理