Published online by Cambridge University Press: 01 January 2026
This article proposes that the possible word orders for any natural language construction composed of n elements, each of which selects for the category headed by the next, are universally limited both across and within languages to a subclass of permutations on the ‘universal order of command’ 1, …, n, as determined by their selectional restrictions. The permitted subclass is known as the ‘separable’ permutations, and grows in n as the large Schröder series {1, 2, 6, 22, 90, 394, 1806, … }. This universal is identified as formal because it follows directly from the assumptions of COMBINATORY CATEGORIAL GRAMMAR (CCG)—in particular, from the fact that all CCG syntactic rules are subject to a combinatory projection principle that limits them to binary rules applying to contiguous nonempty categories.
The article presents quantitative empirical evidence in support of this claim from the linguistically attested orders of the four elements Dem(onstrative), Num(erator), A(djective), N(oun), which have been examined in connection with various versions of Greenberg's putative 20th universal concerning their order. A universal restriction to separable permutation is also supported by word-order variation in the Germanic verb cluster and in the Hungarian verb complex, among other constructions.
This article was originally inspired by a talk given by Ad Neeleman in 2006. A preliminary version was presented in that year at the University of Pennsylvania and circulated under a different title. I have benefited since then from discussions with Klaus Abels, Paul Atkinson, Keith Brown, Peter Buneman, Jennifer Culbertson, Mary Dalrymple, Dag Haug, Mark Hepple, Caroline Heycock, Rachel Hurley, Aravind Joshi, Frank Keller, Bob Ladd, Andrew McLeod, Geoff Pullum, Miloš Stanojević, and Bonnie Webber, and from comments by the editors Meghan Crowhurst and Lisa Travis and the referees for Language. The paper is dedicated to the memory of Aravind Joshi, 1929–2017, who first addressed this question. The work was supported in part by ERC Advanced Fellowship 742137 SEMANTAX.