Functional relations in the English auxiliary system