Task: Text Matching
Input (English): A strategy for Eloise implies '' uniform `` if always Formula 114 , Formula 130 , if Abelard is Formula 116 Formula 130 .
A strategy for Eloise is '' uniform `` if always Formula 114 , Formula 130 , if Abelard implies Formula 116 Formula 130 .
Output (English): Not paraphrase