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

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__nim).
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_0129_5007,restriction).
arc(r_0129_0011__smilin_apos_,r_0129_0005__his,arg0).
arc(r_0129_0011__smilin_apos_,r_0129_0015__us,r_0129_0014__wid__nim).
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_0005__his,arg0).
arc(r_0129_0013__larkin_apos_,r_0129_0015__us,r_0129_0014__wid__nim).
arc(z_0129_5007,r_0129_0012__and,scope).

fof(formula,axiom,
    ! [Z_0129_5007,R_0129_0005__HIS,R_0129_0015__US,R_0129_0011__SMILIN_APOS_,R_0129_0013__LARKIN_APOS_,R_0129_0012__AND] :
      ( ( r_0129_0005__his(R_0129_0005__HIS)
        & r_0129_0015__us(R_0129_0015__US)
        & z_0129_5007(Z_0129_5007)
        & has_keep_scope(Z_0129_5007,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__nim(R_0129_0013__LARKIN_APOS_,R_0129_0015__US)
        & has_arg0(R_0129_0013__LARKIN_APOS_,R_0129_0005__HIS)
        & 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__nim(R_0129_0011__SMILIN_APOS_,R_0129_0015__US)
        & has_arg0(R_0129_0011__SMILIN_APOS_,R_0129_0005__HIS) )
     => ? [R_0129_0001__I,R_0129_0003__IT,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_0002__see(R_0129_0002__SEE)
          & has_r_0129_0004__in__nim(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) ) ) ).