Input:
Are these paraphrases?
The theorem was proved by Chiungtze C. Tsen ( also rendered as Zeng Jiongzhi in English ) in 1933 .
Theorem was proved in 1933 by Chiungtze C. Tsen ( also known as Zeng Jiongzhi in English ) .
Output:
[yes]

Input:
Are these paraphrases?
Elliott Gould was not exactly my idea of Philip Marlowe , but anyway there we were .
Philip Marlowe was not exactly my idea of Elliott Gould , but we were there nonetheless .
Output:
[no]

Input:
Are these paraphrases?
Of the twelve stories that are included , six were previously published in the author 's first collection , '' evening news '' .
Six of the twelve published stories were previously included in the author ' s first collection , '' The Evening News '' .
Output:
[no]