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

arc(r_0125_0003__could,r_0125_0004__see,scope).
arc(r_0125_0004__see,r_0125_0002__I,arg0).
arc(r_0125_0004__see,r_0125_0005__anudder_r_0125_0006__t_apos_ing,arg1).
arc(r_0125_0010__went_r_0125_0011__on,r_0125_0002__I,arg0).
arc(r_0125_0010__went_r_0125_0011__on,r_0125_0013__a_r_0125_0015__voice,r_0125_0012__in__nim).
arc(r_0125_0010__went_r_0125_0011__on,z_0125_5002__utterance,arg1).
arc(r_0125_0013__a_r_0125_0015__voice,r_0125_0014__lower,attrib).
arc(r_0125_0020__eyes,r_0125_0002__I,gen).
arc(r_0125_0020__eyes,r_0125_0018__sunken,attrib).
arc(r_0125_0020__eyes,r_0125_0019__black,attrib).
arc(r_0125_0021__twinkling,r_0125_0020__eyes,arg0).
arc(z_0125_5002__utterance,r_0125_0003__could,part1).
arc(z_0125_5009,r_0125_0010__went_r_0125_0011__on,scope).
arc(z_0125_5009,r_0125_0021__twinkling,restriction).

fof(formula,axiom,
    ? [R_0125_0002__I,R_0125_0014__LOWER,R_0125_0013__A_R_0125_0015__VOICE,R_0125_0005__ANUDDER_R_0125_0006__T_APOS_ING,R_0125_0003__COULD_R_0125_0004__SEE,Z_0125_5002__UTTERANCE,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_0125_5009] :
      ( r_0125_0002__I(R_0125_0002__I)
      & r_0125_0005__anudder_r_0125_0006__t_apos_ing(R_0125_0005__ANUDDER_R_0125_0006__T_APOS_ING)
      & 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_0125_5009(Z_0125_5009)
      & has_conj1(Z_0125_5009,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_attrib(R_0125_0020__EYES,R_0125_0019__BLACK)
      & has_attrib(R_0125_0020__EYES,R_0125_0018__SUNKEN)
      & has_gen(R_0125_0020__EYES,R_0125_0002__I)
      & has_conj2(Z_0125_5009,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_arg1(R_0125_0010__WENT_R_0125_0011__ON,Z_0125_5002__UTTERANCE)
      & z_0125_5002__utterance(Z_0125_5002__UTTERANCE)
      & has_part1(Z_0125_5002__UTTERANCE,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_arg1(R_0125_0003__COULD_R_0125_0004__SEE,R_0125_0005__ANUDDER_R_0125_0006__T_APOS_ING)
      & has_arg0(R_0125_0003__COULD_R_0125_0004__SEE,R_0125_0002__I)
      & has_r_0125_0012__in__nim(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_attrib(R_0125_0013__A_R_0125_0015__VOICE,R_0125_0014__LOWER)
      & has_arg0(R_0125_0010__WENT_R_0125_0011__ON,R_0125_0002__I) ) ).