A semantic theory of the English auxiliary system.