A brute-force statement matching approach often fails due to ambiguity created by ignoring context, and missing information in T N or T R .
we detect similar document pairs to boost the statement matching process.