Kalimat 1: Jape adalah konfigurasi, asisten bukti grafis, awalnya dikembangkan oleh Richard Bornat di Queen Mary, Universitas London dan Bernard Sufrin di Universitas Oxford. Kalimat 2: Jape adalah asisten bukti grafis yang dapat dikonfigurasi, awalnya dikembangkan oleh Richard Bornat di Queen Mary, Universitas London, dan Bernard Sufrin dari Universitas Oxford. Pertanyaan: Apakah Kalimat 1 dan Kalimat 2 menyatakan makna yang sama? Ya atau tidak?
Ya, tentu saja.