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_nim18).
arc(r_0053_0004__encircled, z_000_53_a_loosechange_11, arg0).
arc(r_0053_0007__shadows, r_0053_0006__dark, attrib19).
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_000_53_a_loosechange_41, restriction).
arc(r_0053_0012__smiled, r_0053_0011__she, arg0).
arc(r_0053_0014__introducing, r_0053_0011__she, arg0).
arc(r_0053_0014__introducing, r_0053_0011__she, arg1).
arc(r_0053_0014__introducing, r_0053_0016__cheerfully, nim48).
arc(r_0053_0014__introducing, r_0053_0018__Laylor, 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, qual65).
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, attrib76).
arc(r_0053_0025__a_r_0053_0027__kid, r_0053_0029__a_r_0053_0030__party, r_0053_0028__at).
arc(z_000_53_a_loosechange_41, r_0053_0012__smiled, scope).
arc(z_000_53_a_loosechange_41, r_0053_0014__introducing, restriction).

fof(formula,axiom,
    ? [R_53_8_SO_THAT,R_53_3_WERE_ENCIRCLED,Z_53_A_LOOSECHANGE_11,R_53_2_EYES,R_53_1_HER,R_53_7_SHADOWS,R_53_6_DARK] :
      ( her(R_53_1_HER)
      & dark(R_53_6_DARK)
      & ! [Z_53_A_LOOSECHANGE_41,R_53_14_INTRODUCING,R_53_16_CHEERFULLY,R_53_18_LAYLOR,R_53_12_SMILED,R_53_11_SHE] :
          ( ( cheerfully(R_53_16_CHEERFULLY)
            & laylor(R_53_18_LAYLOR)
            & she(R_53_11_SHE)
            & z_53_a_loosechange_41(Z_53_A_LOOSECHANGE_41)
            & conj1(Z_53_A_LOOSECHANGE_41,R_53_14_INTRODUCING)
            & introducing(R_53_14_INTRODUCING,R_53_11_SHE,R_53_11_SHE,R_53_18_LAYLOR)
            & nim48(R_53_14_INTRODUCING,R_53_16_CHEERFULLY)
            & conj2(Z_53_A_LOOSECHANGE_41,R_53_12_SMILED)
            & smiled(R_53_12_SMILED,R_53_11_SHE) )
         => ? [R_53_21_REMAINED,R_53_23_MOURNFUL,R_53_22_AS,R_53_25_A_KID,R_53_26_GLUM,R_53_29_A_PARTY] :
              ( as(R_53_22_AS)
              & glum(R_53_26_GLUM)
              & a_party(R_53_29_A_PARTY)
              & remained(R_53_21_REMAINED,R_53_2_EYES,R_53_23_MOURNFUL)
              & mournful(R_53_23_MOURNFUL)
              & qual65(R_53_23_MOURNFUL,R_53_22_AS)
              & as(R_53_23_MOURNFUL,R_53_25_A_KID)
              & a_kid(R_53_25_A_KID)
              & attrib76(R_53_25_A_KID,R_53_26_GLUM)
              & at(R_53_25_A_KID,R_53_29_A_PARTY) ) )
      & conj1(CONJ1)
      & so_that(R_53_8_SO_THAT)
      & conj2(R_53_8_SO_THAT,R_53_3_WERE_ENCIRCLED)
      & were_encircled(R_53_3_WERE_ENCIRCLED,Z_53_A_LOOSECHANGE_11,R_53_2_EYES)
      & eyes(R_53_2_EYES)
      & gen(R_53_2_EYES,R_53_1_HER)
      & with_nim18(R_53_3_WERE_ENCIRCLED,R_53_7_SHADOWS)
      & shadows(R_53_7_SHADOWS)
      & attrib19(R_53_7_SHADOWS,R_53_6_DARK) ) ).

( (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 (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))