Translation for sort annotaions