the element expressing TAMP meaning in an auxiliary construction. Example: in The cats have eaten, have is the auxiliary in the auxiliary construction have eaten. (Section 13.4)