Input:
Are these paraphrases?
Until his death in 1996 , Tversky was married to his prominent psychologist Amos Tversky ( 1937-1996 ) .
Tversky was married to fellow prominent psychologist Amos Tversky ( 1937-1996 ) until his death in 1996 .
Output:
[yes]

Input:
Are these paraphrases?
SynthFont is a European MIDI editor and '' MIDI to Waveform '' converter , developed by commercial software developer Kenneth Rundt .
SynthFont is an European MIDI editor and '' MIDI to Waveform '' converter , developed by the commercial software developer Kenneth Rundt .
Output:
[yes]

Input:
Are these paraphrases?
MacMahon formula is the general formula for multiplicative values of formula 30 :
MacMahon - Formula is the multiplicative formula for general values of the Formula 30 :
Output:
[no]