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