Input:
Are these paraphrases?
Mercy Lewis , known formally as Mercy Allen , was the child of Philip Lewis and Mary ( Cass ) Lewis .
Mercy Lewis , formally known as Mercy Allen , was the child of Philip Lewis and Mary ( Cass ) Lewis .
Output:
[yes]

Input:
Are these paraphrases?
Johnson wrote the lyrics for the songs composed by Girish Puthenchery .
Johnson wrote the texts for the songs by Girish Puthenchery composed .
Output:
[yes]

Input:
Are these paraphrases?
In Europe he performed at Le Lido in Paris and sang together with Betty Grable in the London West End - Musical '' Belle Starr '' .
In Europe , he sang at Le Lido in Paris and appeared with Betty Grable in the London West End musical '' Belle Starr '' .
Output:
[no]