Formal Theories and the Analysis of Ancient Languages: Definite Articles in Ancient Greek.