Externalization examples from Marcolli–Chomsky–Berwick #
decide-checked worked examples of [MCB25] §1.12.1/§1.13
externalization on the SyntacticObject carrier: the harmonic head-initial and
head-final orders of a determiner–noun Merge (the head-side convention flips the
yield), and exocentric elimination — two saturated nouns determine no head and no
order (§1.13.2).
The book's framework itself is the Syntax/Minimalist/ theory layer; this file
holds its concrete examples, kernel-checked against that substrate.