discussion:la:symbol:logic:translation