Sentència 1: Jape és un assistent de prova gràfic configurable, desenvolupat originalment per Bernard Sufrin a la Queen Mary, Universitat de Londres i Richard Bornat de la Universitat d' Oxford. Sentència 2: Jape és un configurable, assistent de prova gràfica, desenvolupat originalment per Bernard Sufrin a la Queen Mary, Universitat de Londres i Richard Bornat a la Universitat d' Oxford. Pregunta: La frase 1 i la frase 2 expressen el mateix significat? Sí o no?
Sí Sí