1. mondat: A Jape egy konfigurálható grafikus igazolási asszisztens, amit eredetileg Bernard Sufrin fejlesztett ki a Queen Mary-n, a London Egyetemen és Richard Bornat az Oxford Egyetemen. 2. mondat: A Jape egy konfigurálható, grafikus igazolási asszisztens, amit eredetileg Richard Bornat fejlesztett ki a Queen Mary-n, a London Egyetemen és Bernard Sufrin az Oxford Egyetemen. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
Nem, nem.