Title: A semantic theory of the English auxiliary system