Bridging the gap between underspecification formalisms · Study