The auxiliary has expects a VP-C, permitting the bare verb phrase demonstrate to be incorrectly used.
if we tag-annotate all VP-Cs, rule 6 would be relabeled as VP-C_VB in rule 6 and rule 7 as 7 in Figure 5.