الجملة الأولى: (جيب) هو مساعد إثبات رسومي قابل للتكوين ، تم تطويره أصلاً من قبل (ريتشارد بورنات) في جامعة (كوين ماري) ، جامعة (لندن) و (برنارد سافرين) في جامعة (أوكسفورد). الجملة الثانية: (جيب) هو مساعد إثبات رسومي قابل للتكوين ، تم تطويره أصلاً من قبل (ريتشارد بورنات) في جامعة كوين ماري ، جامعة لندن ، و (برنارد سفرين) من جامعة أكسفورد. السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟