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.

( (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 :)
                                                   (PRN (NP (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))

arc(r_0115_0002__was_r_0115_0003__then,r_0115_0005__began,arg0).
arc(r_0115_0005__began,r_0115_0007__notice,scope).
arc(r_0115_0007__notice,r_0115_0004__I,arg0).
arc(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,inv_arg1).
arc(r_0115_0012__seen,r_0115_0013__before,nim).
arc(r_0115_0015__dirt,z_0115_5016,r_0115_0016__under).
arc(r_0115_0017__each__quant,r_0115_0015__dirt,scope).
arc(r_0115_0017__each__quant,z_0115_5016,restriction).
arc(r_0115_0021__fingernails,r_0115_0019__her,gen).
arc(r_0115_0021__fingernails,r_0115_0020__chipped,attrib).
arc(r_0115_0023__the_r_0115_0024__collar,r_0115_0027__blouse,r_0115_0025__of).
arc(r_0115_0027__blouse,r_0115_0019__her,gen).
arc(r_0115_0028__crumpled,r_0115_0023__the_r_0115_0024__collar,inv_arg0).
arc(r_0115_0029__and,r_0115_0028__crumpled,conj1).
arc(r_0115_0029__and,z_0115_5022,conj2).
arc(r_0115_0032__a_r_0115_0034__cut,r_0115_0033__tiny,attrib).
arc(r_0115_0032__a_r_0115_0034__cut,r_0115_0037__cheek,r_0115_0035__on).
arc(r_0115_0037__cheek,r_0115_0019__her,gen).
arc(r_0115_0042__looked,r_0115_0044__have,scope).
arc(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__nim).
arc(r_0115_0046__cut,z_0115_5035___star_,arg0).
arc(r_0115_0049__nail__hyphen__clippers,r_0115_0048__blunt,attrib).
arc(z_0115_5016,r_0115_0021__fingernails,r_0115_0018__of).
arc(z_0115_5022,r_0115_0023__the_r_0115_0024__collar,inv_arg0).
arc(z_0115_5022,r_0115_0030__unironed,prd).
arc(z_0115_5040,r_0115_0015__dirt,conj1).
arc(z_0115_5040,r_0115_0023__the_r_0115_0024__collar,conj2).
arc(z_0115_5040,r_0115_0032__a_r_0115_0034__cut,conj3).
arc(z_0115_5040,r_0115_0039__a_r_0115_0040__fringe,conj4).
arc(z_0115_5041,r_0115_0008__things,arg0).
arc(z_0115_5041,z_0115_5040,prd).

fof(formula,axiom,
    ? [R_0115_0004__I,R_0115_0013__BEFORE,R_0115_0010__HAD_R_0115_0012__SEEN,R_0115_0008__THINGS,R_0115_0005__BEGAN_R_0115_0007__NOTICE,R_0115_0002__WAS_R_0115_0003__THEN,R_0115_0028__CRUMPLED,R_0115_0030__UNIRONED,Z_0115_5022,R_0115_0029__AND,R_0115_0039__A_R_0115_0040__FRINGE,R_0115_0048__BLUNT,R_0115_0049__NAIL__HYPHEN__CLIPPERS,Z_0115_5035___STAR_,R_0115_0042__LOOKED_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_0115_5016,R_0115_0015__DIRT,R_0115_0027__BLOUSE,R_0115_0023__THE_R_0115_0024__COLLAR,R_0115_0033__TINY,R_0115_0037__CHEEK,R_0115_0032__A_R_0115_0034__CUT,Z_0115_5040,Z_0115_5041] :
      ( r_0115_0004__I(R_0115_0004__I)
      & r_0115_0013__before(R_0115_0013__BEFORE)
      & r_0115_0019__her(R_0115_0019__HER)
      & r_0115_0020__chipped(R_0115_0020__CHIPPED)
      & r_0115_0028__crumpled(R_0115_0028__CRUMPLED)
      & r_0115_0030__unironed(R_0115_0030__UNIRONED)
      & r_0115_0033__tiny(R_0115_0033__TINY)
      & 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_0115_5035___star_(Z_0115_5035___STAR_)
      & z_0115_5041(Z_0115_5041)
      & has_prd(Z_0115_5041,Z_0115_5040)
      & z_0115_5040(Z_0115_5040)
      & has_conj4(Z_0115_5040,R_0115_0039__A_R_0115_0040__FRINGE)
      & has_conj3(Z_0115_5040,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_0019__HER)
      & has_attrib(R_0115_0032__A_R_0115_0034__CUT,R_0115_0033__TINY)
      & has_conj2(Z_0115_5040,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_inv_arg0(R_0115_0023__THE_R_0115_0024__COLLAR,Z_0115_5022)
      & z_0115_5022(Z_0115_5022)
      & has_prd(Z_0115_5022,R_0115_0030__UNIRONED)
      & has_inv_arg0(R_0115_0023__THE_R_0115_0024__COLLAR,R_0115_0028__CRUMPLED)
      & 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_0019__HER)
      & has_conj1(Z_0115_5040,R_0115_0015__DIRT)
      & r_0115_0015__dirt(R_0115_0015__DIRT)
      & has_r_0115_0016__under(R_0115_0015__DIRT,Z_0115_5016)
      & z_0115_5016(Z_0115_5016)
      & has_r_0115_0018__of(Z_0115_5016,R_0115_0021__FINGERNAILS)
      & r_0115_0021__fingernails(R_0115_0021__FINGERNAILS)
      & has_attrib(R_0115_0021__FINGERNAILS,R_0115_0020__CHIPPED)
      & has_gen(R_0115_0021__FINGERNAILS,R_0115_0019__HER)
      & has_arg0(Z_0115_5041,R_0115_0008__THINGS)
      & r_0115_0008__things(R_0115_0008__THINGS)
      & has_inv_arg1(R_0115_0008__THINGS,R_0115_0010__HAD_R_0115_0012__SEEN)
      & r_0115_0010__had_r_0115_0012__seen(R_0115_0010__HAD_R_0115_0012__SEEN)
      & has_nim(R_0115_0010__HAD_R_0115_0012__SEEN,R_0115_0013__BEFORE)
      & has_arg0(R_0115_0010__HAD_R_0115_0012__SEEN,R_0115_0004__I)
      & r_0115_0042__looked_r_0115_0044__have_r_0115_0045__been_r_0115_0046__cut(R_0115_0042__LOOKED_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT)
      & has_arg0(R_0115_0042__LOOKED_R_0115_0044__HAVE_R_0115_0045__BEEN_R_0115_0046__CUT,Z_0115_5035___STAR_)
      & has_r_0115_0047__with__nim(R_0115_0042__LOOKED_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_attrib(R_0115_0049__NAIL__HYPHEN__CLIPPERS,R_0115_0048__BLUNT)
      & has_arg1(R_0115_0042__LOOKED_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_0115_5022)
      & has_conj1(R_0115_0029__AND,R_0115_0028__CRUMPLED)
      & ( z_0115_5016(Z_0115_5016)
       => r_0115_0015__dirt(R_0115_0015__DIRT) )
      & ~ r_0115_0010__had_r_0115_0012__seen(R_0115_0010__HAD_R_0115_0012__SEEN)
      & r_0115_0002__was_r_0115_0003__then(R_0115_0002__WAS_R_0115_0003__THEN)
      & has_arg0(R_0115_0002__WAS_R_0115_0003__THEN,R_0115_0005__BEGAN_R_0115_0007__NOTICE)
      & ~ ( has_arg1(R_0115_0005__BEGAN_R_0115_0007__NOTICE,R_0115_0008__THINGS)
          & has_arg0(R_0115_0005__BEGAN_R_0115_0007__NOTICE,R_0115_0004__I) ) ) ).