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 .