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