Study of word order typology, head-directionality, and branching in languages, including Greenbergian universals and implicational generalizations in syntax