hi:discussion:en:sa:symbol:logic:translation