Let us now define "BIND" (similarly, "X-BIND", "locally BIND", etc.) analogously to "bind" (etc.), but now including superscripting as well as subscripting. Thus, α BINDs β if α and β are coindexed and α c-commands β, where coindexing includes either co-superscripting or co-subscripting; similarly, for "X"-BIND, etc.
- Chomsky (1993), a pag.333