arc(utterance_125_a_lob_n02_4, r_0125_0003__could, part1).
arc(r_0125_0003__could, r_0125_0004__see, scope).
arc(r_0125_0004__see, r_0125_0005__anudder_r_0125_0006__t_apos_ing, arg1).
arc(r_0125_0004__see, r_0125_0009__he, arg0).
arc(r_0125_0010__went_r_0125_0011__on, utterance_125_a_lob_n02_4, arg1).
arc(r_0125_0010__went_r_0125_0011__on, r_0125_0009__he, arg0).
arc(r_0125_0010__went_r_0125_0011__on, r_0125_0013__a_r_0125_0015__voice, r_0125_0012__in_nim33).
arc(r_0125_0013__a_r_0125_0015__voice, r_0125_0014__lower, attrib36).
arc(r_0125_0020__eyes, r_0125_0009__he, gen).
arc(r_0125_0020__eyes, r_0125_0018__sunken, attrib49).
arc(r_0125_0020__eyes, r_0125_0019__black, attrib52).
arc(r_0125_0021__twinkling, r_0125_0020__eyes, arg0).
arc(z_000_125_a_lob_n02_43, r_0125_0010__went_r_0125_0011__on, scope).
arc(z_000_125_a_lob_n02_43, r_0125_0021__twinkling, restriction).

fof(formula,axiom,
    ? [Z_125_A_LOB_N02_43,R_125_21_TWINKLING,R_125_20_EYES,R_125_18_SUNKEN,R_125_19_BLACK,R_125_10_WENT_ON,UTTERANCE_125_A_LOB_N02_4,R_125_3_COULD_SEE,R_125_9_HE,R_125_5_ANUDDER_T_APOS_ING,R_125_13_A_VOICE,R_125_14_LOWER] :
      ( sunken(R_125_18_SUNKEN)
      & black(R_125_19_BLACK)
      & he(R_125_9_HE)
      & anudder_t_apos_ing(R_125_5_ANUDDER_T_APOS_ING)
      & lower(R_125_14_LOWER)
      & z_125_a_lob_n02_43(Z_125_A_LOB_N02_43)
      & conj1(Z_125_A_LOB_N02_43,R_125_21_TWINKLING)
      & twinkling(R_125_21_TWINKLING,R_125_20_EYES)
      & eyes(R_125_20_EYES)
      & attrib49(R_125_20_EYES,R_125_18_SUNKEN)
      & attrib52(R_125_20_EYES,R_125_19_BLACK)
      & gen(R_125_20_EYES,R_125_9_HE)
      & conj2(Z_125_A_LOB_N02_43,R_125_10_WENT_ON)
      & went_on(R_125_10_WENT_ON,R_125_9_HE,UTTERANCE_125_A_LOB_N02_4)
      & utterance_125_a_lob_n02_4(UTTERANCE_125_A_LOB_N02_4)
      & part1(UTTERANCE_125_A_LOB_N02_4,R_125_3_COULD_SEE)
      & could_see(R_125_3_COULD_SEE,R_125_9_HE,R_125_5_ANUDDER_T_APOS_ING)
      & in_nim33(R_125_10_WENT_ON,R_125_13_A_VOICE)
      & a_voice(R_125_13_A_VOICE)
      & attrib36(R_125_13_A_VOICE,R_125_14_LOWER) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{HUBERT} (PRO I;{I}))
                                 (MD;_cat_Vi_ could;{can})
                                 (IP-INF-CAT (VB;_Tn_ see;{see})
                                             (NP-OB1 (D anudder;{another})
                                                     (N t<apos>ing;{thing})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{HUBERT} (PRO he;{he}))
          (VBD;_Tr_ went;{go[on]})
          (RP on;{on})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D a;{a})
                      (ADJP (ADJR lower;{low}))
                      (N voice;{voice})))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (NP-GEN;{HUBERT} (PRO;_genm_ his;{his}))
                                    (ADJP (ADJ sunken;{sunken}))
                                    (ADJP (ADJ black;{black}))
                                    (NS eyes;{eye}))
                            (VAG;_I_ twinkling;{twinkle})))
          (PUNC .))
  (ID 125_a_lob_n02))