Task: Text Matching
Input (English): Jape is a configurable graphical proof assistant , originally developed by Bernard Sufrin at Queen Mary , University of London and Richard Bornat of the University of Oxford .
Jape is a configurable , graphical proof assistant , originally developed by Richard Bornat at Queen Mary , University of London and Bernard Sufrin the University of Oxford .
Output (English): Not paraphrase