The Bi–OT explanation is based on the principle of weak optimality, a generalisation of a rule known as Horn’s division of pragmatic labour [10, p. 22]: Marked forms typically get a marked interpretation, and unmarked forms an unmarked interpretation. Kill is the less marked form, and if we assume that speakers prefer less marked forms over marked forms, then kill is the optimal way to denote a...