Fraza 1: Jape este un asistent de verificare grafică configurabil, dezvoltat iniţial de Richard Bornat de la Queen Mary, Universitatea din Londra, şi Bernard Sufrin de la Universitatea din Oxford. Sentința 2: Jape este un asistent de probă grafică configurabil, dezvoltat inițial de Bernard Sufrin de la Queen Mary, Universitatea din Londra și Richard Bornat de la Universitatea din Oxford. Întrebare: Fraza 1 şi fraza 2 exprimă aceeaşi semnificaţie? Da sau nu?
Nu, nu.