During the early 21st century , certain real island was occasionally listed as '' Lot 1 Norfolk Bay , Dunalley TAS 7177 '' on Smooth -estate classifieds .
During the early 21st century , Smooth Island was occasionally listed as '' Lot 1 Norfolk Bay , Dunalley TAS 7177 '' on certain real-estate classifieds .

Are these two sentences paraphrases of each other? OPTIONS:
- no
- yes
no

Wu 's method is powerful for complete theorem proving in elementary geometry , and provides a mechanical decision process for certain classes of problem .
The method of Wu is powerful for the complete theorem proving in elementary geometry and provides a mechanical decision process for certain problem classes .

Are these two sentences paraphrases of each other? OPTIONS:
- no
- yes
yes

Directed by Jonathan Silverstein the cast featured Laura Reynolds ( Heidi Armbruster ) , Craig Mathers ( Dan McCabe ) and Bill Reynolds ( Tom Lee ) .
Directed by Jonathan Silverstein , Laura Reynolds ( Heidi Armbruster ) , Craig Mathers ( Dan McCabe ) and Bill Reynolds ( Tom Lee ) were shown in the cast .

Are these two sentences paraphrases of each other? OPTIONS:
- no
- yes
yes

Fagerum is a small village in Oland . It belongs to the municipality of Borgholm .
Fagerum is a small village on Oland . It belongs to the municipality of Borgholm .

Are these two sentences paraphrases of each other? OPTIONS:
- no
- yes
yes