الجملة الأولى: إنفير عندها لغة تجريدية لمجال لترتيبات الشجرة النحوية المحددة، استناداً إلى أفكار من فحص النموذج لمنطق الشجرة الحسابية. الجملة الثانية: يحتوي Infer على لغة مجال - تجريدية - لترتيب شجرة النحو المحدد ، بناءً على أفكار من Model Checking for Computation Tree Logic. السؤال: واش الجملة الأولى والجملة الثانية تعبران عن نفس المعنى؟ نعم أو لا؟