Input:
Are these paraphrases?
The verb system is very complicated with the following times : past , present , past perfect , present progressive , simple perfect and subjunctive past .
The verb system is very intricate with the following tenses : past ; present ; past perfect ; present progressive ; simple perfect ; and subjunctive past .
Output:
[yes]

Input:
Are these paraphrases?
Infer also has a domain specific language for abstract syntax tree linting , based on ideas from Model Checking for Computation Tree Logic
Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .
Output:
[no]

Input:
Are these paraphrases?
'' Baie St. Paul '' has a deadweight tonnage of 24,430 tons and a gross tonnage of 37,690 tons according to the Miramar Ship Index .
'' Baie St. Paul '' has a gross tonnage capacity of 24,430 tons and a capacity of 37,690 tons according to the Miramar Ship Index .
Output:
[no]