The motivation of most recent formalisms is to develop a constraint-based framework where you can incrementally add constraints to filter out unwanted scopings.
almost all of these formalisms are based on hard constraints, which have to be satisfied in every reading of the sentence.