Pirmasis sakinys: " Jape " yra konfigūruojamas grafinis įrodymo padėjėjas, kurį iš pradžių sukūrė Richard Bornat iš Londono universiteto " Queen Mary " ir Bernard Sufrin iš Oksfordo universiteto. 2 sakinys: " Jape " yra konfigūruojamas, grafinis įrodymų padėjėjas, kurį iš pradžių sukūrė Bernard Sufrin iš Londono Karalienės Marijos universiteto ir Richard Bornat iš Oksfordo universiteto. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Ne, ne