la:symbol:logic:sentence_reasoning