arc(r_0069_0007__came_r_0069_0008__on, r_0069_0002__that_r_0069_0003__announcement, r_0069_0001__With_nim5).
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, nim15).
arc(r_0069_0007__came_r_0069_0008__on, r_0069_0010__those_r_0069_0012__eyes, r_0069_0009__in_nim25).
arc(r_0069_0010__those_r_0069_0012__eyes, r_0069_0011__dull, attrib28).
arc(r_0069_0013__to_r_0069_0014__reveal, r_0069_0004__a_r_0069_0005__light, arg0).
arc(r_0069_0013__to_r_0069_0014__reveal, r_0069_0015__that_r_0069_0017__was, arg1).
arc(r_0069_0015__that_r_0069_0017__was, r_0069_0016__she, arg0).
arc(r_0069_0015__that_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_000_69_a_loosechange_49, restriction).
arc(r_0069_0019__more, r_0069_0021__eighteen, r_0069_0020__than).
arc(r_0069_0019__more, z_000_69_a_loosechange_49, nim49).
arc(z_000_69_a_loosechange_33, r_0069_0007__came_r_0069_0008__on, scope).
arc(z_000_69_a_loosechange_33, r_0069_0013__to_r_0069_0014__reveal, restriction).

fof(formula,axiom,
    ? [Z_69_A_LOOSECHANGE_33,R_69_7_CAME_ON,R_69_4_A_LIGHT,R_69_6_BRIEFLY,R_69_2_THAT_ANNOUNCEMENT,R_69_10_THOSE_EYES,R_69_11_DULL] :
      ( a_light(R_69_4_A_LIGHT)
      & briefly(R_69_6_BRIEFLY)
      & that_announcement(R_69_2_THAT_ANNOUNCEMENT)
      & dull(R_69_11_DULL)
      & ! [Z_69_A_LOOSECHANGE_49] :
          ( true
         => ? [R_69_13_TO_REVEAL,R_69_15_THAT_WAS,R_69_16_SHE,R_69_19_MORE,R_69_21_EIGHTEEN] :
              ( she(R_69_16_SHE)
              & eighteen(R_69_21_EIGHTEEN)
              & to_reveal(R_69_13_TO_REVEAL,R_69_4_A_LIGHT,R_69_15_THAT_WAS)
              & that_was(R_69_15_THAT_WAS,R_69_16_SHE,R_69_19_MORE)
              & more(R_69_19_MORE)
              & nim49(R_69_19_MORE,Z_69_A_LOOSECHANGE_49)
              & than(R_69_19_MORE,R_69_21_EIGHTEEN) ) )
      & conj1(CONJ1)
      & z_69_a_loosechange_33(Z_69_A_LOOSECHANGE_33)
      & conj2(Z_69_A_LOOSECHANGE_33,R_69_7_CAME_ON)
      & came_on(R_69_7_CAME_ON,R_69_4_A_LIGHT)
      & nim15(R_69_7_CAME_ON,R_69_6_BRIEFLY)
      & with_nim5(R_69_7_CAME_ON,R_69_2_THAT_ANNOUNCEMENT)
      & in_nim25(R_69_7_CAME_ON,R_69_10_THOSE_EYES)
      & those_eyes(R_69_10_THOSE_EYES)
      & attrib28(R_69_10_THOSE_EYES,R_69_11_DULL) ) ).

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