discussion:symbol:logic:translation