discussion:symbol:logic:sentence_reasoning