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