Title: The Languages of Definition (Studies in Machine Translation & Natural Language Processing: Vol. 7)