TSPC 115_a_loosechange

115_a_loosechange
It was then I began to notice things I had not seen before: dirt under each of her chipped fingernails, the collar of her blouse crumpled and unironed, a tiny cut on her cheek, a fringe that looked to have been cut with blunt nail-clippers.

arc(r_0115_0002__was, r_0115_0003__then, clr7).
arc(r_0115_0002__was, r_0115_0005__began, arg0).
arc(r_0115_0005__began, r_0115_0006__to_r_0115_0007__notice, scope).
arc(r_0115_0006__to_r_0115_0007__notice, r_0115_0004__I, arg0).
arc(r_0115_0006__to_r_0115_0007__notice, r_0115_0008__things, arg1).
arc(r_0115_0010__had, r_0115_0012__seen, scope).
arc(r_0115_0011__not, r_0115_0010__had, keep_scope).
arc(r_0115_0012__seen, r_0115_0004__I, arg0).
arc(r_0115_0012__seen, r_0115_0008__things, arg1).
arc(r_0115_0012__seen, r_0115_0013__before, nim38).
arc(r_0115_0015__dirt, z_000_115_a_loosechange_52, r_0115_0016__under).
arc(r_0115_0017__each_quant, r_0115_0015__dirt, scope).
arc(r_0115_0017__each_quant, z_000_115_a_loosechange_52, restriction).
arc(r_0115_0021__fingernails, r_0115_0019__her, gen).
arc(r_0115_0021__fingernails, r_0115_0020__chipped, attrib62).
arc(r_0115_0023__the_r_0115_0024__collar, r_0115_0027__blouse, r_0115_0025__of).
arc(r_0115_0027__blouse, r_0115_0026__her, gen).
arc(r_0115_0028__crumpled, r_0115_0023__the_r_0115_0024__collar, arg0).
arc(r_0115_0029__and, r_0115_0028__crumpled, conj1).
arc(r_0115_0029__and, z_000_115_a_loosechange_92, conj2).
arc(r_0115_0032__a_r_0115_0034__cut, r_0115_0033__tiny, attrib102).
arc(r_0115_0032__a_r_0115_0034__cut, r_0115_0037__cheek, r_0115_0035__on).
arc(r_0115_0037__cheek, r_0115_0036__her, gen).
arc(r_0115_0041__that_r_0115_0042__looked, r_0115_0043__to_r_0115_0044__have, scope).
arc(r_0115_0043__to_r_0115_0044__have, r_0115_0045__been, scope).
arc(r_0115_0045__been, r_0115_0046__cut, scope).
arc(r_0115_0046__cut, r_0115_0039__a_r_0115_0040__fringe, arg1).
arc(r_0115_0046__cut, r_0115_0049__nail__hyphen__clippers, r_0115_0047__with_nim147).
arc(r_0115_0046__cut, z_000_115_a_loosechange_140, arg0).
arc(r_0115_0049__nail__hyphen__clippers, r_0115_0048__blunt, attrib148).
arc(z_000_115_a_loosechange_43, r_0115_0008__things, arg0).
arc(z_000_115_a_loosechange_43, z_000_115_a_loosechange_45, prd).
arc(z_000_115_a_loosechange_45, r_0115_0015__dirt, conj1).
arc(z_000_115_a_loosechange_45, r_0115_0023__the_r_0115_0024__collar, conj2).
arc(z_000_115_a_loosechange_45, r_0115_0032__a_r_0115_0034__cut, conj3).
arc(z_000_115_a_loosechange_45, r_0115_0039__a_r_0115_0040__fringe, conj4).
arc(z_000_115_a_loosechange_52, r_0115_0021__fingernails, r_0115_0018__of).
arc(z_000_115_a_loosechange_92, r_0115_0023__the_r_0115_0024__collar, arg0).
arc(z_000_115_a_loosechange_92, r_0115_0030__unironed, prd).

fof(formula,axiom,
    ? [R_0115_0003__THEN,R_0115_0004__I,R_0115_0008__THINGS,R_0115_0005__BEGAN_R_0115_0006__TO_R_0115_0007__NOTICE,R_0115_0002__WAS,R_0115_0026__HER,R_0115_0027__BLOUSE,R_0115_0023__THE_R_0115_0024__COLLAR,R_0115_0028__CRUMPLED,R_0115_0030__UNIRONED,Z_000_115_A_LOOSECHANGE_92,R_0115_0029__AND,R_0115_0039__A_R_0115_0040__FRINGE,R_0115_0048__BLUNT,R_0115_0049__NAIL__HYPHEN__CLIPPERS,Z_000_115_A_LOOSECHANGE_140,R_0115_0041__THAT_R_0115_0042__LOOKED_R_0115_0043__TO_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT,R_0115_0019__HER,R_0115_0020__CHIPPED,R_0115_0021__FINGERNAILS,Z_000_115_A_LOOSECHANGE_52,R_0115_0015__DIRT,R_0115_0033__TINY,R_0115_0036__HER,R_0115_0037__CHEEK,R_0115_0032__A_R_0115_0034__CUT,Z_000_115_A_LOOSECHANGE_45,Z_000_115_A_LOOSECHANGE_43] :
      ( r_0115_0003__then(R_0115_0003__THEN)
      & r_0115_0004__I(R_0115_0004__I)
      & r_0115_0008__things(R_0115_0008__THINGS)
      & r_0115_0019__her(R_0115_0019__HER)
      & r_0115_0020__chipped(R_0115_0020__CHIPPED)
      & r_0115_0026__her(R_0115_0026__HER)
      & r_0115_0030__unironed(R_0115_0030__UNIRONED)
      & r_0115_0033__tiny(R_0115_0033__TINY)
      & r_0115_0036__her(R_0115_0036__HER)
      & r_0115_0039__a_r_0115_0040__fringe(R_0115_0039__A_R_0115_0040__FRINGE)
      & r_0115_0048__blunt(R_0115_0048__BLUNT)
      & z_000_115_a_loosechange_140(Z_000_115_A_LOOSECHANGE_140)
      & z_000_115_a_loosechange_43(Z_000_115_A_LOOSECHANGE_43)
      & has_prd(Z_000_115_A_LOOSECHANGE_43,Z_000_115_A_LOOSECHANGE_45)
      & z_000_115_a_loosechange_45(Z_000_115_A_LOOSECHANGE_45)
      & has_conj4(Z_000_115_A_LOOSECHANGE_45,R_0115_0039__A_R_0115_0040__FRINGE)
      & has_conj3(Z_000_115_A_LOOSECHANGE_45,R_0115_0032__A_R_0115_0034__CUT)
      & r_0115_0032__a_r_0115_0034__cut(R_0115_0032__A_R_0115_0034__CUT)
      & has_r_0115_0035__on(R_0115_0032__A_R_0115_0034__CUT,R_0115_0037__CHEEK)
      & r_0115_0037__cheek(R_0115_0037__CHEEK)
      & has_gen(R_0115_0037__CHEEK,R_0115_0036__HER)
      & has_attrib102(R_0115_0032__A_R_0115_0034__CUT,R_0115_0033__TINY)
      & has_conj2(Z_000_115_A_LOOSECHANGE_45,R_0115_0023__THE_R_0115_0024__COLLAR)
      & r_0115_0023__the_r_0115_0024__collar(R_0115_0023__THE_R_0115_0024__COLLAR)
      & has_r_0115_0025__of(R_0115_0023__THE_R_0115_0024__COLLAR,R_0115_0027__BLOUSE)
      & r_0115_0027__blouse(R_0115_0027__BLOUSE)
      & has_gen(R_0115_0027__BLOUSE,R_0115_0026__HER)
      & has_conj1(Z_000_115_A_LOOSECHANGE_45,R_0115_0015__DIRT)
      & r_0115_0015__dirt(R_0115_0015__DIRT)
      & has_r_0115_0016__under(R_0115_0015__DIRT,Z_000_115_A_LOOSECHANGE_52)
      & z_000_115_a_loosechange_52(Z_000_115_A_LOOSECHANGE_52)
      & has_r_0115_0018__of(Z_000_115_A_LOOSECHANGE_52,R_0115_0021__FINGERNAILS)
      & r_0115_0021__fingernails(R_0115_0021__FINGERNAILS)
      & has_attrib62(R_0115_0021__FINGERNAILS,R_0115_0020__CHIPPED)
      & has_gen(R_0115_0021__FINGERNAILS,R_0115_0019__HER)
      & has_arg0(Z_000_115_A_LOOSECHANGE_43,R_0115_0008__THINGS)
      & r_0115_0041__that_r_0115_0042__looked_r_0115_0043__to_r_0115_0044__have_r_0115_0045__been_r_0115_0046__cut(R_0115_0041__THAT_R_0115_0042__LOOKED_R_0115_0043__TO_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT)
      & has_arg0(R_0115_0041__THAT_R_0115_0042__LOOKED_R_0115_0043__TO_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT,Z_000_115_A_LOOSECHANGE_140)
      & has_r_0115_0047__with_nim147(R_0115_0041__THAT_R_0115_0042__LOOKED_R_0115_0043__TO_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT,R_0115_0049__NAIL__HYPHEN__CLIPPERS)
      & r_0115_0049__nail__hyphen__clippers(R_0115_0049__NAIL__HYPHEN__CLIPPERS)
      & has_attrib148(R_0115_0049__NAIL__HYPHEN__CLIPPERS,R_0115_0048__BLUNT)
      & has_arg1(R_0115_0041__THAT_R_0115_0042__LOOKED_R_0115_0043__TO_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT,R_0115_0039__A_R_0115_0040__FRINGE)
      & r_0115_0029__and(R_0115_0029__AND)
      & has_conj2(R_0115_0029__AND,Z_000_115_A_LOOSECHANGE_92)
      & z_000_115_a_loosechange_92(Z_000_115_A_LOOSECHANGE_92)
      & has_prd(Z_000_115_A_LOOSECHANGE_92,R_0115_0030__UNIRONED)
      & has_arg0(Z_000_115_A_LOOSECHANGE_92,R_0115_0023__THE_R_0115_0024__COLLAR)
      & has_conj1(R_0115_0029__AND,R_0115_0028__CRUMPLED)
      & r_0115_0028__crumpled(R_0115_0028__CRUMPLED)
      & has_arg0(R_0115_0028__CRUMPLED,R_0115_0023__THE_R_0115_0024__COLLAR)
      & ( z_000_115_a_loosechange_52(Z_000_115_A_LOOSECHANGE_52)
       => r_0115_0015__dirt(R_0115_0015__DIRT) )
      & ~ ? [R_0115_0013__BEFORE,R_0115_0010__HAD_R_0115_0012__SEEN] :
            ( r_0115_0013__before(R_0115_0013__BEFORE)
            & r_0115_0010__had_r_0115_0012__seen(R_0115_0010__HAD_R_0115_0012__SEEN)
            & has_nim38(R_0115_0010__HAD_R_0115_0012__SEEN,R_0115_0013__BEFORE)
            & has_arg1(R_0115_0010__HAD_R_0115_0012__SEEN,R_0115_0008__THINGS)
            & has_arg0(R_0115_0010__HAD_R_0115_0012__SEEN,R_0115_0004__I) )
      & r_0115_0002__was(R_0115_0002__WAS)
      & has_arg0(R_0115_0002__WAS,R_0115_0005__BEGAN_R_0115_0006__TO_R_0115_0007__NOTICE)
      & ~ ( has_arg1(R_0115_0005__BEGAN_R_0115_0006__TO_R_0115_0007__NOTICE,R_0115_0008__THINGS)
          & has_arg0(R_0115_0005__BEGAN_R_0115_0006__TO_R_0115_0007__NOTICE,R_0115_0004__I) )
      & has_clr7(R_0115_0002__WAS,R_0115_0003__THEN) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_Ip_ was;{be})
          (ADVP-CLR (ADV then;{then}))
          (CP-THT-NSBJ (IP-SUB (NP-SBJ (PRO I;{I}))
                               (VBD;_cat_Vt_ began;{begin})
                               (IP-INF-CAT (TO to;{to})
                                           (VB;__ notice;{notice})
                                           (NP-OB1 (NS things;{thing})
                                                   (IP-REL (NP-SBJ (PRO I;{I}))
                                                           (HVD;_cat_Ve_ had;{have})
                                                           (NEG not;{not})
                                                           (IP-PPL-CAT (NP-OB1 *T*)
                                                                       (VVN;__ seen;{see})
                                                                       (ADVP-NIM (ADV before;{before}))))
                                                   (PUNC :)
                                                   (IP-PPL (NP-PRD (NLYR (NLYR (N dirt;{dirt})
                                                                               (PP (P-ROLE under;{under})
                                                                                   (NP (Q;_nphd_ each;{each})
                                                                                       (PP (P-ROLE of;{of})
                                                                                           (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                                                                               (ADJP (ADJ chipped;{chipped}))
                                                                                               (NS fingernails;{fingernail}))))))
                                                                         (PUNC ,)
                                                                         (CONJP (NLYR (D the;{the})
                                                                                      (N collar;{collar})
                                                                                      (PP (P-ROLE of;{of})
                                                                                          (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                                                                              (N blouse;{blouse})))
                                                                                      (IP-PPL (ILYR (ILYR (VBD;__ crumpled;{crumple}))
                                                                                                    (CONJP (CONJ and;{and})
                                                                                                           (ILYR (ADJP-PRD (ADJ unironed;{unironed}))))))))
                                                                         (PUNC ,)
                                                                         (CONJP (NLYR (D a;{a})
                                                                                      (ADJP (ADJ tiny;{tiny}))
                                                                                      (N cut;{cut})
                                                                                      (PP (P-ROLE on;{on})
                                                                                          (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                                                                              (N cheek;{cheek})))))
                                                                         (PUNC ,)
                                                                         (CONJP (NLYR (D a;{a})
                                                                                      (N fringe;{fringe})
                                                                                      (IP-REL (C that;{that})
                                                                                              (NP-SBJ *T*)
                                                                                              (VBD;_cat_Vt_ looked;{look})
                                                                                              (IP-INF-CAT (TO to;{to})
                                                                                                          (HV;_cat_Ve_ have;{have})
                                                                                                          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                                                      (IP-PPL-CAT (NP-LGS *)
                                                                                                                                  (VVN;__ cut;{cut})
                                                                                                                                  (PP-NIM (P-ROLE with;{with})
                                                                                                                                          (NP (ADJP (ADJ blunt;{blunt}))
                                                                                                                                              (NS nail_<hyphen>_clippers;{nail_clippers}))))))))))))))))
          (PUNC .))
  (ID 115_a_loosechange))