53_a_loosechange
Her eyes were encircled with dark shadows so that even when she smiled - introducing herself cheerfully as Laylor - they remained as mournful as a glum kid at a party.

n53_a_loosechange n53_a_loosechange__1_1_1_1_1 Her n53_a_loosechange__1_1_2_1 eyes n53_a_loosechange__1_2_1 were n53_a_loosechange__1_3_1_1 * n53_a_loosechange__1_3_2_1 encircled n53_a_loosechange__1_3_3_1_1 with n53_a_loosechange__1_3_3_2_1_1_1 dark n53_a_loosechange__1_3_3_2_2_1 shadows n53_a_loosechange__1_4_1_1 so_that n53_a_loosechange__1_4_2_1_1_1_1 even n53_a_loosechange__1_4_2_1_2_1 when n53_a_loosechange__1_4_2_1_3_1_1_1 she n53_a_loosechange__1_4_2_1_3_2_1 smiled n53_a_loosechange__1_4_2_1_3_3_1 - n53_a_loosechange__1_4_2_1_3_4_1_1_1 introducing n53_a_loosechange__1_4_2_1_3_4_1_2_1_1 herself n53_a_loosechange__1_4_2_1_3_4_1_3_1_1 cheerfully n53_a_loosechange__1_4_2_1_3_4_1_4_1_1 as n53_a_loosechange__1_4_2_1_3_4_1_4_2_1_1 Laylor n53_a_loosechange__1_4_2_1_3_5_1 - n53_a_loosechange__1_4_2_2_1_1 they n53_a_loosechange__1_4_2_3_1 remained n53_a_loosechange__1_4_2_4_1_1_1 as n53_a_loosechange__1_4_2_4_2_1 mournful n53_a_loosechange__1_4_2_4_3_1_1 as n53_a_loosechange__1_4_2_4_3_2_1_1 a n53_a_loosechange__1_4_2_4_3_2_2_1_1 glum n53_a_loosechange__1_4_2_4_3_2_3_1 kid n53_a_loosechange__1_4_2_4_3_2_4_1_1 at n53_a_loosechange__1_4_2_4_3_2_4_2_1_1 a n53_a_loosechange__1_4_2_4_3_2_4_2_2_1 party n53_a_loosechange__1_5_1 . n53_a_loosechange__1 IP-MAT n53_a_loosechange__1_1 NP-SBJ n53_a_loosechange__1->n53_a_loosechange__1_1 n53_a_loosechange__1_2 BED;_cat_VePASS_ n53_a_loosechange__1->n53_a_loosechange__1_2 n53_a_loosechange__1_3 IP-PPL-CAT n53_a_loosechange__1->n53_a_loosechange__1_3 n53_a_loosechange__1_4 PP-SCON n53_a_loosechange__1->n53_a_loosechange__1_4 n53_a_loosechange__1_5 PUNC n53_a_loosechange__1->n53_a_loosechange__1_5 n53_a_loosechange__1_1_1 NP-GEN n53_a_loosechange__1_1->n53_a_loosechange__1_1_1 n53_a_loosechange__1_1_2 NS n53_a_loosechange__1_1->n53_a_loosechange__1_1_2 n53_a_loosechange__1_1_1_1 PRO;_genm_ n53_a_loosechange__1_1_1->n53_a_loosechange__1_1_1_1 n53_a_loosechange__1_1_1_1->n53_a_loosechange__1_1_1_1_1 n53_a_loosechange__1_1_2->n53_a_loosechange__1_1_2_1 n53_a_loosechange__1_2->n53_a_loosechange__1_2_1 n53_a_loosechange__1_3_1 NP-LGS n53_a_loosechange__1_3->n53_a_loosechange__1_3_1 n53_a_loosechange__1_3_2 VVN;_Tn_ n53_a_loosechange__1_3->n53_a_loosechange__1_3_2 n53_a_loosechange__1_3_3 PP-NIM n53_a_loosechange__1_3->n53_a_loosechange__1_3_3 n53_a_loosechange__1_3_1->n53_a_loosechange__1_3_1_1 n53_a_loosechange__1_3_2->n53_a_loosechange__1_3_2_1 n53_a_loosechange__1_3_3_1 P-ROLE n53_a_loosechange__1_3_3->n53_a_loosechange__1_3_3_1 n53_a_loosechange__1_3_3_2 NP n53_a_loosechange__1_3_3->n53_a_loosechange__1_3_3_2 n53_a_loosechange__1_3_3_1->n53_a_loosechange__1_3_3_1_1 n53_a_loosechange__1_3_3_2_1 ADJP n53_a_loosechange__1_3_3_2->n53_a_loosechange__1_3_3_2_1 n53_a_loosechange__1_3_3_2_2 NS n53_a_loosechange__1_3_3_2->n53_a_loosechange__1_3_3_2_2 n53_a_loosechange__1_3_3_2_1_1 ADJ n53_a_loosechange__1_3_3_2_1->n53_a_loosechange__1_3_3_2_1_1 n53_a_loosechange__1_3_3_2_1_1->n53_a_loosechange__1_3_3_2_1_1_1 n53_a_loosechange__1_3_3_2_2->n53_a_loosechange__1_3_3_2_2_1 n53_a_loosechange__1_4_1 P-CONN n53_a_loosechange__1_4->n53_a_loosechange__1_4_1 n53_a_loosechange__1_4_2 IP-ADV n53_a_loosechange__1_4->n53_a_loosechange__1_4_2 n53_a_loosechange__1_4_1->n53_a_loosechange__1_4_1_1 n53_a_loosechange__1_4_2_1 PP-SCON n53_a_loosechange__1_4_2->n53_a_loosechange__1_4_2_1 n53_a_loosechange__1_4_2_2 NP-SBJ n53_a_loosechange__1_4_2->n53_a_loosechange__1_4_2_2 n53_a_loosechange__1_4_2_3 VBD;_La_ n53_a_loosechange__1_4_2->n53_a_loosechange__1_4_2_3 n53_a_loosechange__1_4_2_4 ADJP-PRD n53_a_loosechange__1_4_2->n53_a_loosechange__1_4_2_4 n53_a_loosechange__1_4_2_1_1 ADVP-NIM n53_a_loosechange__1_4_2_1->n53_a_loosechange__1_4_2_1_1 n53_a_loosechange__1_4_2_1_2 P-CONN n53_a_loosechange__1_4_2_1->n53_a_loosechange__1_4_2_1_2 n53_a_loosechange__1_4_2_1_3 IP-ADV n53_a_loosechange__1_4_2_1->n53_a_loosechange__1_4_2_1_3 n53_a_loosechange__1_4_2_1_1_1 ADV n53_a_loosechange__1_4_2_1_1->n53_a_loosechange__1_4_2_1_1_1 n53_a_loosechange__1_4_2_1_1_1->n53_a_loosechange__1_4_2_1_1_1_1 n53_a_loosechange__1_4_2_1_2->n53_a_loosechange__1_4_2_1_2_1 n53_a_loosechange__1_4_2_1_3_1 NP-SBJ n53_a_loosechange__1_4_2_1_3->n53_a_loosechange__1_4_2_1_3_1 n53_a_loosechange__1_4_2_1_3_2 VBD;_I_ n53_a_loosechange__1_4_2_1_3->n53_a_loosechange__1_4_2_1_3_2 n53_a_loosechange__1_4_2_1_3_3 PUNC n53_a_loosechange__1_4_2_1_3->n53_a_loosechange__1_4_2_1_3_3 n53_a_loosechange__1_4_2_1_3_4 PP-SCON n53_a_loosechange__1_4_2_1_3->n53_a_loosechange__1_4_2_1_3_4 n53_a_loosechange__1_4_2_1_3_5 PUNC n53_a_loosechange__1_4_2_1_3->n53_a_loosechange__1_4_2_1_3_5 n53_a_loosechange__1_4_2_1_3_1_1 PRO n53_a_loosechange__1_4_2_1_3_1->n53_a_loosechange__1_4_2_1_3_1_1 n53_a_loosechange__1_4_2_1_3_1_1->n53_a_loosechange__1_4_2_1_3_1_1_1 n53_a_loosechange__1_4_2_1_3_2->n53_a_loosechange__1_4_2_1_3_2_1 n53_a_loosechange__1_4_2_1_3_3->n53_a_loosechange__1_4_2_1_3_3_1 n53_a_loosechange__1_4_2_1_3_4_1 IP-PPL n53_a_loosechange__1_4_2_1_3_4->n53_a_loosechange__1_4_2_1_3_4_1 n53_a_loosechange__1_4_2_1_3_4_1_1 VAG;_Cn.n/a_ n53_a_loosechange__1_4_2_1_3_4_1->n53_a_loosechange__1_4_2_1_3_4_1_1 n53_a_loosechange__1_4_2_1_3_4_1_2 NP-OB1 n53_a_loosechange__1_4_2_1_3_4_1->n53_a_loosechange__1_4_2_1_3_4_1_2 n53_a_loosechange__1_4_2_1_3_4_1_3 ADVP-NIM n53_a_loosechange__1_4_2_1_3_4_1->n53_a_loosechange__1_4_2_1_3_4_1_3 n53_a_loosechange__1_4_2_1_3_4_1_4 PP-PRD n53_a_loosechange__1_4_2_1_3_4_1->n53_a_loosechange__1_4_2_1_3_4_1_4 n53_a_loosechange__1_4_2_1_3_4_1_1->n53_a_loosechange__1_4_2_1_3_4_1_1_1 n53_a_loosechange__1_4_2_1_3_4_1_2_1 PNX n53_a_loosechange__1_4_2_1_3_4_1_2->n53_a_loosechange__1_4_2_1_3_4_1_2_1 n53_a_loosechange__1_4_2_1_3_4_1_2_1->n53_a_loosechange__1_4_2_1_3_4_1_2_1_1 n53_a_loosechange__1_4_2_1_3_4_1_3_1 ADV n53_a_loosechange__1_4_2_1_3_4_1_3->n53_a_loosechange__1_4_2_1_3_4_1_3_1 n53_a_loosechange__1_4_2_1_3_4_1_3_1->n53_a_loosechange__1_4_2_1_3_4_1_3_1_1 n53_a_loosechange__1_4_2_1_3_4_1_4_1 P-ROLE n53_a_loosechange__1_4_2_1_3_4_1_4->n53_a_loosechange__1_4_2_1_3_4_1_4_1 n53_a_loosechange__1_4_2_1_3_4_1_4_2 NP n53_a_loosechange__1_4_2_1_3_4_1_4->n53_a_loosechange__1_4_2_1_3_4_1_4_2 n53_a_loosechange__1_4_2_1_3_4_1_4_1->n53_a_loosechange__1_4_2_1_3_4_1_4_1_1 n53_a_loosechange__1_4_2_1_3_4_1_4_2_1 N n53_a_loosechange__1_4_2_1_3_4_1_4_2->n53_a_loosechange__1_4_2_1_3_4_1_4_2_1 n53_a_loosechange__1_4_2_1_3_4_1_4_2_1->n53_a_loosechange__1_4_2_1_3_4_1_4_2_1_1 n53_a_loosechange__1_4_2_1_3_5->n53_a_loosechange__1_4_2_1_3_5_1 n53_a_loosechange__1_4_2_2_1 PRO n53_a_loosechange__1_4_2_2->n53_a_loosechange__1_4_2_2_1 n53_a_loosechange__1_4_2_2_1->n53_a_loosechange__1_4_2_2_1_1 n53_a_loosechange__1_4_2_3->n53_a_loosechange__1_4_2_3_1 n53_a_loosechange__1_4_2_4_1 ADVP n53_a_loosechange__1_4_2_4->n53_a_loosechange__1_4_2_4_1 n53_a_loosechange__1_4_2_4_2 ADJ n53_a_loosechange__1_4_2_4->n53_a_loosechange__1_4_2_4_2 n53_a_loosechange__1_4_2_4_3 PP n53_a_loosechange__1_4_2_4->n53_a_loosechange__1_4_2_4_3 n53_a_loosechange__1_4_2_4_1_1 ADV n53_a_loosechange__1_4_2_4_1->n53_a_loosechange__1_4_2_4_1_1 n53_a_loosechange__1_4_2_4_1_1->n53_a_loosechange__1_4_2_4_1_1_1 n53_a_loosechange__1_4_2_4_2->n53_a_loosechange__1_4_2_4_2_1 n53_a_loosechange__1_4_2_4_3_1 P-ROLE n53_a_loosechange__1_4_2_4_3->n53_a_loosechange__1_4_2_4_3_1 n53_a_loosechange__1_4_2_4_3_2 NP n53_a_loosechange__1_4_2_4_3->n53_a_loosechange__1_4_2_4_3_2 n53_a_loosechange__1_4_2_4_3_1->n53_a_loosechange__1_4_2_4_3_1_1 n53_a_loosechange__1_4_2_4_3_2_1 D n53_a_loosechange__1_4_2_4_3_2->n53_a_loosechange__1_4_2_4_3_2_1 n53_a_loosechange__1_4_2_4_3_2_2 ADJP n53_a_loosechange__1_4_2_4_3_2->n53_a_loosechange__1_4_2_4_3_2_2 n53_a_loosechange__1_4_2_4_3_2_3 N n53_a_loosechange__1_4_2_4_3_2->n53_a_loosechange__1_4_2_4_3_2_3 n53_a_loosechange__1_4_2_4_3_2_4 PP n53_a_loosechange__1_4_2_4_3_2->n53_a_loosechange__1_4_2_4_3_2_4 n53_a_loosechange__1_4_2_4_3_2_1->n53_a_loosechange__1_4_2_4_3_2_1_1 n53_a_loosechange__1_4_2_4_3_2_2_1 ADJ n53_a_loosechange__1_4_2_4_3_2_2->n53_a_loosechange__1_4_2_4_3_2_2_1 n53_a_loosechange__1_4_2_4_3_2_2_1->n53_a_loosechange__1_4_2_4_3_2_2_1_1 n53_a_loosechange__1_4_2_4_3_2_3->n53_a_loosechange__1_4_2_4_3_2_3_1 n53_a_loosechange__1_4_2_4_3_2_4_1 P-ROLE n53_a_loosechange__1_4_2_4_3_2_4->n53_a_loosechange__1_4_2_4_3_2_4_1 n53_a_loosechange__1_4_2_4_3_2_4_2 NP n53_a_loosechange__1_4_2_4_3_2_4->n53_a_loosechange__1_4_2_4_3_2_4_2 n53_a_loosechange__1_4_2_4_3_2_4_1->n53_a_loosechange__1_4_2_4_3_2_4_1_1 n53_a_loosechange__1_4_2_4_3_2_4_2_1 D n53_a_loosechange__1_4_2_4_3_2_4_2->n53_a_loosechange__1_4_2_4_3_2_4_2_1 n53_a_loosechange__1_4_2_4_3_2_4_2_2 N n53_a_loosechange__1_4_2_4_3_2_4_2->n53_a_loosechange__1_4_2_4_3_2_4_2_2 n53_a_loosechange__1_4_2_4_3_2_4_2_1->n53_a_loosechange__1_4_2_4_3_2_4_2_1_1 n53_a_loosechange__1_4_2_4_3_2_4_2_2->n53_a_loosechange__1_4_2_4_3_2_4_2_2_1 n53_a_loosechange__1_5->n53_a_loosechange__1_5_1
( (IP-MAT (NP-SBJ;{EYES_OF_LAYLOR} (NP-GEN;{LAYLOR} (PRO;_genm_ Her;{her}))
                                   (NS eyes;{eye}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ encircled;{encircle})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (ADJP (ADJ dark;{dark}))
                                  (NS shadows;{shadow}))))
          (PP-SCON (P-CONN so_that;{so_that})
                   (IP-ADV (PP-SCON (ADVP-NIM (ADV even;{even}))
                                    (P-CONN when;{when})
                                    (IP-ADV (NP-SBJ;{LAYLOR} (PRO she;{she}))
                                            (VBD;_I_ smiled;{smile})
                                            (PUNC <hyphen>)
                                            (PP-SCON (IP-PPL (VAG;_Cn.n/a_ introducing;{introduce[as]})
                                                             (NP-OB1;{LAYLOR} (PNX herself;{herself}))
                                                             (ADVP-NIM (ADV cheerfully;{cheerfully}))
                                                             (PP-PRD (P-ROLE as;{as})
                                                                     (NP (N Laylor;{laylor})))))
                                            (PUNC <hyphen>)))
                           (NP-SBJ;{EYES_OF_LAYLOR} (PRO they;{they}))
                           (VBD;_La_ remained;{remain})
                           (ADJP-PRD (ADVP (ADV as;{as}))
                                     (ADJ mournful;{mournful})
                                     (PP (P-ROLE as;{as})
                                         (NP (D a;{a})
                                             (ADJP (ADJ glum;{glum}))
                                             (N kid;{kid})
                                             (PP (P-ROLE at;{at})
                                                 (NP (D a;{a})
                                                     (N party;{party}))))))))
          (PUNC .))
  (ID 53_a_loosechange))



%3 z_0053_5005 r_0053_0014__introducing introducing z_0053_5005->r_0053_0014__introducing [restriction] r_0053_0012__smiled smiled z_0053_5005->r_0053_0012__smiled [scope] r_0053_0018__Laylor Laylor r_0053_0014__introducing->r_0053_0018__Laylor as [prd] r_0053_0016__cheerfully cheerfully r_0053_0014__introducing->r_0053_0016__cheerfully [nim] r_0053_0001__Her Her r_0053_0014__introducing->r_0053_0001__Her [arg1] r_0053_0014__introducing->r_0053_0001__Her [arg0] r_0053_0012__smiled->r_0053_0001__Her [arg0] r_0053_0025__a_r_0053_0027__kid a kid r_0053_0029__a_r_0053_0030__party a party r_0053_0025__a_r_0053_0027__kid->r_0053_0029__a_r_0053_0030__party at r_0053_0026__glum glum r_0053_0025__a_r_0053_0027__kid->r_0053_0026__glum [attrib] r_0053_0023__mournful mournful r_0053_0023__mournful->r_0053_0025__a_r_0053_0027__kid as r_0053_0022__as as r_0053_0023__mournful->r_0053_0022__as [qual] r_0053_0021__remained remained r_0053_0021__remained->r_0053_0023__mournful [prd] r_0053_0002__eyes eyes r_0053_0021__remained->r_0053_0002__eyes [arg0] r_0053_0002__eyes->r_0053_0001__Her [gen] r_0053_0009__even_r_0053_0010__when even when r_0053_0009__even_r_0053_0010__when->z_0053_5005 [restriction] r_0053_0009__even_r_0053_0010__when->r_0053_0021__remained [scope] r_0053_0008__so_that so_that r_0053_0008__so_that->r_0053_0009__even_r_0053_0010__when [restriction] r_0053_0003__were were r_0053_0008__so_that->r_0053_0003__were [scope] r_0053_0004__encircled encircled r_0053_0003__were->r_0053_0004__encircled [scope] r_0053_0007__shadows shadows r_0053_0006__dark dark r_0053_0007__shadows->r_0053_0006__dark [attrib] r_0053_0004__encircled->r_0053_0002__eyes [arg1] r_0053_0004__encircled->r_0053_0007__shadows with [nim] z_0053_5022___star_ * r_0053_0004__encircled->z_0053_5022___star_ [arg0]
arc(r_0053_0002__eyes,r_0053_0001__Her,gen).
arc(r_0053_0003__were,r_0053_0004__encircled,scope).
arc(r_0053_0004__encircled,r_0053_0002__eyes,arg1).
arc(r_0053_0004__encircled,r_0053_0007__shadows,r_0053_0005__with__nim).
arc(r_0053_0004__encircled,z_0053_5022___star_,arg0).
arc(r_0053_0007__shadows,r_0053_0006__dark,attrib).
arc(r_0053_0008__so_that,r_0053_0003__were,scope).
arc(r_0053_0008__so_that,r_0053_0009__even_r_0053_0010__when,restriction).
arc(r_0053_0009__even_r_0053_0010__when,r_0053_0021__remained,scope).
arc(r_0053_0009__even_r_0053_0010__when,z_0053_5005,restriction).
arc(r_0053_0012__smiled,r_0053_0001__Her,arg0).
arc(r_0053_0014__introducing,r_0053_0001__Her,arg0).
arc(r_0053_0014__introducing,r_0053_0001__Her,arg1).
arc(r_0053_0014__introducing,r_0053_0016__cheerfully,nim).
arc(r_0053_0014__introducing,r_0053_0018__Laylor,r_0053_0017__as__prd).
arc(r_0053_0021__remained,r_0053_0002__eyes,arg0).
arc(r_0053_0021__remained,r_0053_0023__mournful,prd).
arc(r_0053_0023__mournful,r_0053_0022__as,qual).
arc(r_0053_0023__mournful,r_0053_0025__a_r_0053_0027__kid,r_0053_0024__as).
arc(r_0053_0025__a_r_0053_0027__kid,r_0053_0026__glum,attrib).
arc(r_0053_0025__a_r_0053_0027__kid,r_0053_0029__a_r_0053_0030__party,r_0053_0028__at).
arc(z_0053_5005,r_0053_0012__smiled,scope).
arc(z_0053_5005,r_0053_0014__introducing,restriction).



%3 r_0053_0002__eyes eyes r_0053_0001__Her Her r_0053_0002__eyes->r_0053_0001__Her [gen] r_0053_0003__were_r_0053_0004__encircled were encircled r_0053_0003__were_r_0053_0004__encircled->r_0053_0002__eyes [arg1] r_0053_0007__shadows shadows r_0053_0003__were_r_0053_0004__encircled->r_0053_0007__shadows with [nim] z_0053_5022___star_ * r_0053_0003__were_r_0053_0004__encircled->z_0053_5022___star_ [arg0] r_0053_0006__dark dark r_0053_0007__shadows->r_0053_0006__dark [attrib] r_0053_0008__so_that so_that r_0053_0008__so_that->r_0053_0003__were_r_0053_0004__encircled [conj2] r_0053_0009__even_r_0053_0010__when even when r_0053_0008__so_that->r_0053_0009__even_r_0053_0010__when [conj1] r_0053_0021__remained remained r_0053_0009__even_r_0053_0010__when->r_0053_0021__remained [scope] z_0053_5005 r_0053_0009__even_r_0053_0010__when->z_0053_5005 [restriction] r_0053_0021__remained->r_0053_0002__eyes [arg0] r_0053_0023__mournful mournful r_0053_0021__remained->r_0053_0023__mournful [prd] r_0053_0012__smiled smiled z_0053_5005->r_0053_0012__smiled [conj2] r_0053_0014__introducing introducing z_0053_5005->r_0053_0014__introducing [conj1] r_0053_0012__smiled->r_0053_0001__Her [arg0] r_0053_0014__introducing->r_0053_0001__Her [arg0] r_0053_0014__introducing->r_0053_0001__Her [arg1] r_0053_0016__cheerfully cheerfully r_0053_0014__introducing->r_0053_0016__cheerfully [nim] r_0053_0018__Laylor Laylor r_0053_0014__introducing->r_0053_0018__Laylor as [prd] r_0053_0022__as as r_0053_0023__mournful->r_0053_0022__as [qual] r_0053_0025__a_r_0053_0027__kid a kid r_0053_0023__mournful->r_0053_0025__a_r_0053_0027__kid as r_0053_0026__glum glum r_0053_0025__a_r_0053_0027__kid->r_0053_0026__glum [attrib] r_0053_0029__a_r_0053_0030__party a party r_0053_0025__a_r_0053_0027__kid->r_0053_0029__a_r_0053_0030__party at
fof(formula,axiom,
    ? [R_0053_0001__HER,R_0053_0002__EYES,R_0053_0006__DARK,R_0053_0007__SHADOWS,Z_0053_5022___STAR_,R_0053_0003__WERE_R_0053_0004__ENCIRCLED,R_0053_0008__SO_THAT] :
      ( r_0053_0001__Her(R_0053_0001__HER)
      & r_0053_0006__dark(R_0053_0006__DARK)
      & z_0053_5022___star_(Z_0053_5022___STAR_)
      & r_0053_0008__so_that(R_0053_0008__SO_THAT)
      & ! [Z_0053_5005,R_0053_0012__SMILED,R_0053_0016__CHEERFULLY,R_0053_0018__LAYLOR,R_0053_0014__INTRODUCING] :
          ( ( r_0053_0016__cheerfully(R_0053_0016__CHEERFULLY)
            & r_0053_0018__Laylor(R_0053_0018__LAYLOR)
            & z_0053_5005(Z_0053_5005)
            & has_conj1(Z_0053_5005,R_0053_0014__INTRODUCING)
            & r_0053_0014__introducing(R_0053_0014__INTRODUCING)
            & has_r_0053_0017__as__prd(R_0053_0014__INTRODUCING,R_0053_0018__LAYLOR)
            & has_nim(R_0053_0014__INTRODUCING,R_0053_0016__CHEERFULLY)
            & has_arg1(R_0053_0014__INTRODUCING,R_0053_0001__HER)
            & has_arg0(R_0053_0014__INTRODUCING,R_0053_0001__HER)
            & has_conj2(Z_0053_5005,R_0053_0012__SMILED)
            & r_0053_0012__smiled(R_0053_0012__SMILED)
            & has_arg0(R_0053_0012__SMILED,R_0053_0001__HER) )
         => ? [R_0053_0022__AS,R_0053_0026__GLUM,R_0053_0029__A_R_0053_0030__PARTY,R_0053_0025__A_R_0053_0027__KID,R_0053_0023__MOURNFUL,R_0053_0021__REMAINED] :
              ( r_0053_0022__as(R_0053_0022__AS)
              & r_0053_0026__glum(R_0053_0026__GLUM)
              & r_0053_0029__a_r_0053_0030__party(R_0053_0029__A_R_0053_0030__PARTY)
              & r_0053_0021__remained(R_0053_0021__REMAINED)
              & has_prd(R_0053_0021__REMAINED,R_0053_0023__MOURNFUL)
              & r_0053_0023__mournful(R_0053_0023__MOURNFUL)
              & has_r_0053_0024__as(R_0053_0023__MOURNFUL,R_0053_0025__A_R_0053_0027__KID)
              & r_0053_0025__a_r_0053_0027__kid(R_0053_0025__A_R_0053_0027__KID)
              & has_r_0053_0028__at(R_0053_0025__A_R_0053_0027__KID,R_0053_0029__A_R_0053_0030__PARTY)
              & has_attrib(R_0053_0025__A_R_0053_0027__KID,R_0053_0026__GLUM)
              & has_qual(R_0053_0023__MOURNFUL,R_0053_0022__AS)
              & has_arg0(R_0053_0021__REMAINED,R_0053_0002__EYES) ) )
      & has_conj2(R_0053_0008__SO_THAT,R_0053_0003__WERE_R_0053_0004__ENCIRCLED)
      & r_0053_0003__were_r_0053_0004__encircled(R_0053_0003__WERE_R_0053_0004__ENCIRCLED)
      & has_arg0(R_0053_0003__WERE_R_0053_0004__ENCIRCLED,Z_0053_5022___STAR_)
      & has_r_0053_0005__with__nim(R_0053_0003__WERE_R_0053_0004__ENCIRCLED,R_0053_0007__SHADOWS)
      & r_0053_0007__shadows(R_0053_0007__SHADOWS)
      & has_attrib(R_0053_0007__SHADOWS,R_0053_0006__DARK)
      & has_arg1(R_0053_0003__WERE_R_0053_0004__ENCIRCLED,R_0053_0002__EYES)
      & r_0053_0002__eyes(R_0053_0002__EYES)
      & has_gen(R_0053_0002__EYES,R_0053_0001__HER) ) ).