Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Around 2017 I was thinking about the problem of automatic translation and how ambiguity and idioms could be dealt with. One idea was to tag ...