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,
    ? [R_0125_0005__ANUDDER_R_0125_0006__T_APOS_ING,R_0125_0009__HE,R_0125_0003__COULD_R_0125_0004__SEE,UTTERANCE_125_A_LOB_N02_4,R_0125_0014__LOWER,R_0125_0013__A_R_0125_0015__VOICE,R_0125_0010__WENT_R_0125_0011__ON,R_0125_0018__SUNKEN,R_0125_0019__BLACK,R_0125_0020__EYES,R_0125_0021__TWINKLING,Z_000_125_A_LOB_N02_43] :
      ( r_0125_0005__anudder_r_0125_0006__t_apos_ing(R_0125_0005__ANUDDER_R_0125_0006__T_APOS_ING)
      & r_0125_0009__he(R_0125_0009__HE)
      & r_0125_0014__lower(R_0125_0014__LOWER)
      & r_0125_0018__sunken(R_0125_0018__SUNKEN)
      & r_0125_0019__black(R_0125_0019__BLACK)
      & z_000_125_a_lob_n02_43(Z_000_125_A_LOB_N02_43)
      & has_conj1(Z_000_125_A_LOB_N02_43,R_0125_0021__TWINKLING)
      & r_0125_0021__twinkling(R_0125_0021__TWINKLING)
      & has_arg0(R_0125_0021__TWINKLING,R_0125_0020__EYES)
      & r_0125_0020__eyes(R_0125_0020__EYES)
      & has_attrib52(R_0125_0020__EYES,R_0125_0019__BLACK)
      & has_attrib49(R_0125_0020__EYES,R_0125_0018__SUNKEN)
      & has_gen(R_0125_0020__EYES,R_0125_0009__HE)
      & has_conj2(Z_000_125_A_LOB_N02_43,R_0125_0010__WENT_R_0125_0011__ON)
      & r_0125_0010__went_r_0125_0011__on(R_0125_0010__WENT_R_0125_0011__ON)
      & has_r_0125_0012__in_nim33(R_0125_0010__WENT_R_0125_0011__ON,R_0125_0013__A_R_0125_0015__VOICE)
      & r_0125_0013__a_r_0125_0015__voice(R_0125_0013__A_R_0125_0015__VOICE)
      & has_attrib36(R_0125_0013__A_R_0125_0015__VOICE,R_0125_0014__LOWER)
      & has_arg0(R_0125_0010__WENT_R_0125_0011__ON,R_0125_0009__HE)
      & has_arg1(R_0125_0010__WENT_R_0125_0011__ON,UTTERANCE_125_A_LOB_N02_4)
      & utterance_125_a_lob_n02_4(UTTERANCE_125_A_LOB_N02_4)
      & has_part1(UTTERANCE_125_A_LOB_N02_4,R_0125_0003__COULD_R_0125_0004__SEE)
      & r_0125_0003__could_r_0125_0004__see(R_0125_0003__COULD_R_0125_0004__SEE)
      & has_arg0(R_0125_0003__COULD_R_0125_0004__SEE,R_0125_0009__HE)
      & has_arg1(R_0125_0003__COULD_R_0125_0004__SEE,R_0125_0005__ANUDDER_R_0125_0006__T_APOS_ING) ) ).

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