Sentence 1: 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 .
Sentence 2: Jape is a configurable graphical proof assistant , originally developed by Richard Bornat at Queen Mary , University of London , and Bernard Sufrin of the University of Oxford .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?