TSPC 69_a_loosechange

69_a_loosechange
With that announcement a light briefly came on in those dull eyes to reveal that she was no more than eighteen.

( (IP-MAT (PP-NIM (P-ROLE With;{with})
                  (NP (D that;{that})
                      (N announcement;{announcement})))
          (NP-SBJ (D a;{a})
                  (N light;{light}))
          (ADVP-NIM (ADV briefly;{briefly}))
          (VBD;_phr_Vp_ came;{come[on]})
          (RP on;{on})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D those;{those})
                      (ADJP (ADJ dull;{dull}))
                      (NS eyes;{eye})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tf_ reveal;{reveal})
                           (CP-THT-OB1 (IP-SUB (C that;{that})
                                               (NP-SBJ;{LAYLOR} (PRO she;{she}))
                                               (BED;_La_ was;{be})
                                               (ADJP-PRD (NP (Q;_nphd_ no;{no}))
                                                         (ADJR more;{more})
                                                         (PP (P-ROLE than;{than})
                                                             (NP (NUM eighteen;{eighteen}))))))))
          (PUNC .))
  (ID 69_a_loosechange))

arc(r_0069_0007__came_r_0069_0008__on,r_0069_0002__that_r_0069_0003__announcement,r_0069_0001__With__nim).
arc(r_0069_0007__came_r_0069_0008__on,r_0069_0004__a_r_0069_0005__light,arg0).
arc(r_0069_0007__came_r_0069_0008__on,r_0069_0006__briefly,nim).
arc(r_0069_0007__came_r_0069_0008__on,r_0069_0010__those_r_0069_0012__eyes,r_0069_0009__in__nim).
arc(r_0069_0010__those_r_0069_0012__eyes,r_0069_0011__dull,attrib).
arc(r_0069_0014__reveal,r_0069_0004__a_r_0069_0005__light,arg0).
arc(r_0069_0014__reveal,r_0069_0017__was,arg1).
arc(r_0069_0017__was,r_0069_0016__she,arg0).
arc(r_0069_0017__was,r_0069_0019__more,prd).
arc(r_0069_0018__no__quant,r_0069_0019__more,scope).
arc(r_0069_0018__no__quant,z_0069_5009,restriction).
arc(r_0069_0019__more,r_0069_0021__eighteen,r_0069_0020__than).
arc(r_0069_0019__more,z_0069_5009,nim).
arc(z_0069_5003,r_0069_0007__came_r_0069_0008__on,scope).
arc(z_0069_5003,r_0069_0014__reveal,restriction).

fof(formula,axiom,
    ? [R_0069_0002__THAT_R_0069_0003__ANNOUNCEMENT,R_0069_0004__A_R_0069_0005__LIGHT,R_0069_0006__BRIEFLY,R_0069_0011__DULL,R_0069_0010__THOSE_R_0069_0012__EYES,R_0069_0007__CAME_R_0069_0008__ON,Z_0069_5003] :
      ( r_0069_0002__that_r_0069_0003__announcement(R_0069_0002__THAT_R_0069_0003__ANNOUNCEMENT)
      & r_0069_0004__a_r_0069_0005__light(R_0069_0004__A_R_0069_0005__LIGHT)
      & r_0069_0006__briefly(R_0069_0006__BRIEFLY)
      & r_0069_0011__dull(R_0069_0011__DULL)
      & z_0069_5003(Z_0069_5003)
      & ! [Z_0069_5009] :
          ( z_0069_5009(Z_0069_5009)
         => ? [R_0069_0016__SHE,R_0069_0021__EIGHTEEN,R_0069_0019__MORE,R_0069_0017__WAS,R_0069_0014__REVEAL] :
              ( r_0069_0016__she(R_0069_0016__SHE)
              & r_0069_0021__eighteen(R_0069_0021__EIGHTEEN)
              & r_0069_0014__reveal(R_0069_0014__REVEAL)
              & has_arg1(R_0069_0014__REVEAL,R_0069_0017__WAS)
              & r_0069_0017__was(R_0069_0017__WAS)
              & has_prd(R_0069_0017__WAS,R_0069_0019__MORE)
              & r_0069_0019__more(R_0069_0019__MORE)
              & has_nim(R_0069_0019__MORE,Z_0069_5009)
              & has_r_0069_0020__than(R_0069_0019__MORE,R_0069_0021__EIGHTEEN)
              & has_arg0(R_0069_0017__WAS,R_0069_0016__SHE)
              & has_arg0(R_0069_0014__REVEAL,R_0069_0004__A_R_0069_0005__LIGHT) ) )
      & has_conj2(Z_0069_5003,R_0069_0007__CAME_R_0069_0008__ON)
      & r_0069_0007__came_r_0069_0008__on(R_0069_0007__CAME_R_0069_0008__ON)
      & has_r_0069_0009__in__nim(R_0069_0007__CAME_R_0069_0008__ON,R_0069_0010__THOSE_R_0069_0012__EYES)
      & r_0069_0010__those_r_0069_0012__eyes(R_0069_0010__THOSE_R_0069_0012__EYES)
      & has_attrib(R_0069_0010__THOSE_R_0069_0012__EYES,R_0069_0011__DULL)
      & has_nim(R_0069_0007__CAME_R_0069_0008__ON,R_0069_0006__BRIEFLY)
      & has_arg0(R_0069_0007__CAME_R_0069_0008__ON,R_0069_0004__A_R_0069_0005__LIGHT)
      & has_r_0069_0001__With__nim(R_0069_0007__CAME_R_0069_0008__ON,R_0069_0002__THAT_R_0069_0003__ANNOUNCEMENT) ) ).