arc(r_0129_0002__see, r_0129_0001__I, arg0).
arc(r_0129_0002__see, r_0129_0003__it, arg1).
arc(r_0129_0002__see, r_0129_0006__eyes, r_0129_0004__in_nim13).
arc(r_0129_0006__eyes, r_0129_0005__his, gen).
arc(r_0129_0008__even_r_0129_0009__when, r_0129_0002__see, scope).
arc(r_0129_0008__even_r_0129_0009__when, z_000_129_a_lob_n02_26, restriction).
arc(r_0129_0011__smilin_apos_, r_0129_0010__he, arg0).
arc(r_0129_0011__smilin_apos_, r_0129_0015__us, r_0129_0014__wid_nim44).
arc(r_0129_0012__and, r_0129_0011__smilin_apos_, conj1).
arc(r_0129_0012__and, r_0129_0013__larkin_apos_, conj2).
arc(r_0129_0013__larkin_apos_, r_0129_0010__he, arg0).
arc(r_0129_0013__larkin_apos_, r_0129_0015__us, r_0129_0014__wid_nim44).
arc(z_000_129_a_lob_n02_26, r_0129_0012__and, scope).

fof(formula,axiom,
    ! [Z_000_129_A_LOB_N02_26,R_0129_0010__HE,R_0129_0015__US,R_0129_0011__SMILIN_APOS_,R_0129_0013__LARKIN_APOS_,R_0129_0012__AND] :
      ( ( r_0129_0010__he(R_0129_0010__HE)
        & r_0129_0015__us(R_0129_0015__US)
        & z_000_129_a_lob_n02_26(Z_000_129_A_LOB_N02_26)
        & has_keep_scope(Z_000_129_A_LOB_N02_26,R_0129_0012__AND)
        & r_0129_0012__and(R_0129_0012__AND)
        & has_conj2(R_0129_0012__AND,R_0129_0013__LARKIN_APOS_)
        & r_0129_0013__larkin_apos_(R_0129_0013__LARKIN_APOS_)
        & has_r_0129_0014__wid_nim44(R_0129_0013__LARKIN_APOS_,R_0129_0015__US)
        & has_arg0(R_0129_0013__LARKIN_APOS_,R_0129_0010__HE)
        & has_conj1(R_0129_0012__AND,R_0129_0011__SMILIN_APOS_)
        & r_0129_0011__smilin_apos_(R_0129_0011__SMILIN_APOS_)
        & has_r_0129_0014__wid_nim44(R_0129_0011__SMILIN_APOS_,R_0129_0015__US)
        & has_arg0(R_0129_0011__SMILIN_APOS_,R_0129_0010__HE) )
     => ? [R_0129_0001__I,R_0129_0003__IT,R_0129_0005__HIS,R_0129_0006__EYES,R_0129_0002__SEE] :
          ( r_0129_0001__I(R_0129_0001__I)
          & r_0129_0003__it(R_0129_0003__IT)
          & r_0129_0005__his(R_0129_0005__HIS)
          & r_0129_0002__see(R_0129_0002__SEE)
          & has_r_0129_0004__in_nim13(R_0129_0002__SEE,R_0129_0006__EYES)
          & r_0129_0006__eyes(R_0129_0006__EYES)
          & has_gen(R_0129_0006__EYES,R_0129_0005__HIS)
          & has_arg1(R_0129_0002__SEE,R_0129_0003__IT)
          & has_arg0(R_0129_0002__SEE,R_0129_0001__I) ) ) ).

( (IP-MAT (NP-SBJ;{HUBERT} (PRO I;{I}))
          (VBP;_Tn_ see;{see})
          (NP-OB1;{FEAR} (PRO it;{it}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
                      (NS eyes;{eye})))
          (PUNC ,)
          (PP-SCON (ADV even;{even})
                   (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{PIERS} (PRO he;{he}))
                           (IP-PPL-CAT (ILYR (ILYR (VAG;_I_ smilin<apos>;{smile}))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (VAG;_I_ larkin<apos>;{lark}))))
                                       (PP-NIM (P-ROLE wid;{with})
                                               (NP (PRO us;{we}))))))
          (PUNC .))
  (ID 129_a_lob_n02))