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