Input:
Are these paraphrases?
An alternative extension to compact groups is the Peter -- Weyl -- Theorem , which proves results about representations of compact groups analogous to those on finite groups .
An alternative extension to compact groups is the Peter Weyl theorem , which proves results about representations of finite groups analogous to those about compact groups .
Output:
[no]

Input:
Are these paraphrases?
There were also several animatronic characters created ... a giant goose ( Galaga ) and an animatronic head for the puppet theater Cernos .
Several animatronic characters were also created ... a giant goose ( Galaga ) and an animatronic head for the puppeteered Cernos .
Output:
[yes]

Input:
Are these paraphrases?
Pat died in 1988 , and Yvonne died in 2007 .
In 1988 , Yvonne Yvonne died and in 2007 died Pat .
Output:
[no]