Lause 1: Jape on konfigureeritav graafiline tõendusassistent, mille algselt arendasid Bernard Sufrin Londoni Kuninganna Mary Ülikoolis ja Richard Bornat Oxfordi Ülikoolis. Lause 2: Jape on konfigureeritav, graafiline tõendusassistent, mille algselt arendasid Richard Bornat Londoni Kuninganna Mary Ülikoolis ja Bernard Sufrin Oxfordi Ülikoolis. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Ei ole.