Underspecification formalisms: Hole semantics as dominance constraints