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