la:symbol:logic:translation