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 ]] .