Machine translation from English to Danish with Patrans : a professional machine translation system.