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