( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (NPR Alresford;{Alresford}))
          (ADVP-NIM (ADV still;{still}))
          (VBP;_Ipr_ feels;{feel[like]})
          (PP-CLR (P-ROLE like;{like})
                  (NP (N home;{home})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBP;_I_ return;{return})))
          (PUNC .))
  (ID 93_a_alresford))

arc(r_0093_0004__feels_r_0093_0005__like,r_0093_0002__Alresford,arg0).
arc(r_0093_0004__feels_r_0093_0005__like,r_0093_0003__still,nim).
arc(r_0093_0004__feels_r_0093_0005__like,r_0093_0006__home,arg1).
arc(r_0093_0007__when,r_0093_0004__feels_r_0093_0005__like,scope).
arc(r_0093_0007__when,r_0093_0009__return,restriction).
arc(r_0093_0009__return,r_0093_0008__I,arg0).

fof(formula,axiom,
    ! [R_0093_0009__RETURN,R_0093_0008__I] :
      ( ( r_0093_0008__I(R_0093_0008__I)
        & r_0093_0009__return(R_0093_0009__RETURN)
        & has_arg0(R_0093_0009__RETURN,R_0093_0008__I) )
     => ? [R_0093_0002__ALRESFORD,R_0093_0003__STILL,R_0093_0006__HOME,R_0093_0004__FEELS_R_0093_0005__LIKE] :
          ( r_0093_0002__Alresford(R_0093_0002__ALRESFORD)
          & r_0093_0003__still(R_0093_0003__STILL)
          & r_0093_0006__home(R_0093_0006__HOME)
          & r_0093_0004__feels_r_0093_0005__like(R_0093_0004__FEELS_R_0093_0005__LIKE)
          & has_arg1(R_0093_0004__FEELS_R_0093_0005__LIKE,R_0093_0006__HOME)
          & has_nim(R_0093_0004__FEELS_R_0093_0005__LIKE,R_0093_0003__STILL)
          & has_arg0(R_0093_0004__FEELS_R_0093_0005__LIKE,R_0093_0002__ALRESFORD) ) ) ).