user
Sætning 1: Jape er en konfigurerbar grafisk bevisassistent, oprindeligt udviklet af Richard Bornat ved Queen Mary, University of London, og Bernard Sufrin fra University of Oxford. Sætning 2: Jape er en konfigurerbar, grafisk proof assistent, oprindeligt udviklet af Bernard Sufrin ved Queen Mary, University of London og Richard Bornat University of Oxford. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
assistant
Nej, de to sætninger har ikke samme betydning. Der er forskel på hvor de to personer er fra.