For theories at the level of second-order arithmetic , the reverse mathematics program has much to say .
For theories at the level of reversal - arithmetic has much to say the second mathematics program .

Are these two sentences paraphrases of each other?
no

The freighter that took Jaime from Ponta Delgada to Canada in the first episode , was CGI : the design was finalized in 3D and made in post-production .
The freighter that brought Jaime in the first episode from Ponta Delgada to Canada was CGI : the design was completed in 3D and made in the post-production .

Are these two sentences paraphrases of each other?
yes

The Letneye mine is a large copper mine located in the south-west region of Russia in Orenburg Oblast .
The Mine Letneye is a large copper mine in the south-west of Russia in the Orenburg region .

Are these two sentences paraphrases of each other?
yes

In 2008 , Rice played a tour with Maria Taylor of Azure Ray and played the Sunset Junction Festival in Los Angeles .
In 2008 , Rice played a tour with Maria Taylor of Azure Ray and directed the Los Angeles Sunset Junction Festival .

Are these two sentences paraphrases of each other?
no