An important question arising is, given that it does not allow for label-to-label constraints, is Hole Semantics powerful enough to cover all coherent UGs?
given that some constraints, such as the binding constraints, are inherently label to label, how does Hole Semantics get away without it?