Input:
Are these paraphrases?
The Presbyterian teaching is '' reformed '' , and the form of government is '' theological '' .
The presbyterian doctrine is '' reformed '' , and the form of government is '' theological '' .
Output:
[yes]

Input:
Are these paraphrases?
In the summer of 1956 , Mike Barnett took over Frank Lovejoy 's role until the end of the series in the same year .
In the summer of 1956 , Frank Lovejoy took over the role of Mike Barnett until the series ' end that same year .
Output:
[no]

Input:
Are these paraphrases?
Alicia has three sons with Alberto Cortina :
Together with Alicia Alberto Cortina has three sons .
Output:
[no]