One way to formalise this is to enumerate exactly one representative of each equivalence class.
after such a step we would be left with a collection of semantic representations rather than an USR, and could not use the USR for ruling out further readings.