discussion:zh:symbol:logic:sentence_reasoning