Input:
Are these paraphrases?
AMBIT is a symbolic programming language that was introduced by Carlos Christensen of Massachusetts Computer Associates in 1964 for historical computation .
AMBIT is a symbolic programming language that was introduced in 1964 by Carlos Christensen of Massachusetts Computer Associates for historical calculations .
Output:
[yes]

Input:
Are these paraphrases?
New teaching sites were opened in Ivrea , Mondovi , Biella , Alessandria and Vercelli in the 1990s .
In the 1990s , new teaching campuses were opened in Ivrea , Mondovi , Biella , Alessandria and Vercelli .
Output:
[yes]

Input:
Are these paraphrases?
The electrochemical fluorination of organic compounds is a reactive solvent .
HF is a electrochemical solvent in the reactive fluorination of organic compounds .
Output:
[no]