text: We present an efficient algorithm for the redundancy elimination problem : Given an [[ underspecified semantic representation -LRB- USR -RRB- ]] of a << scope ambiguity >> , compute an USR with fewer mutually equivalent readings .