As these sentence show, do is inserted into sentences that do not already have an auxiliary verb, thereby making Inversion possible. We capture this fact by formulating an insertion transformation, a type of rule that can add an element to a tree structure