This prediction appears to be correct: It is an important semantic fact that a VP modifier never outscopes a higher verb.
based on these empirical properties of auxiliaries, this paper argues for the existence of the construction aux-headph(rase) whose subtypes include negation-ph, inversion-ph, ellipsis-ph, vp-filler-ph, and the like.