( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ agreed;{agree})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_phr_Vpr_ look;{look[after]})
                                  (PP-CLR (P-ROLE after;{after})
                                          (NP (NP-GEN;{PETE} (PRO;_genm_ his;{his}))
                                              (N flat;{flat})))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP;{PETE} (PRO him;{he})))))
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ;{PETE} (PRO he;{he}))
                           (BEP;_Ip_ is;{be[away]})
                           (ADVP-CLR (ADV away;{away}))))
          (PUNC .))
  (ID 4_a_fce_0102_2001_03))

arc(r_0004_0002__have,r_0004_0003__agreed,scope).
arc(r_0004_0003__agreed,r_0004_0005__look,scope).
arc(r_0004_0005__look,r_0004_0001__You,arg0).
arc(r_0004_0005__look,r_0004_0007__his,r_0004_0009__for__nim).
arc(r_0004_0005__look,r_0004_0008__flat,r_0004_0006__after__clr).
arc(r_0004_0008__flat,r_0004_0007__his,gen).
arc(r_0004_0011__while,r_0004_0002__have,scope).
arc(r_0004_0011__while,r_0004_0013__is_r_0004_0014__away,restriction).
arc(r_0004_0013__is_r_0004_0014__away,r_0004_0007__his,arg0).

fof(formula,axiom,
    ? [R_0004_0001__YOU,R_0004_0007__HIS,R_0004_0008__FLAT,R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0005__LOOK,R_0004_0013__IS_R_0004_0014__AWAY,R_0004_0011__WHILE] :
      ( r_0004_0001__You(R_0004_0001__YOU)
      & r_0004_0007__his(R_0004_0007__HIS)
      & r_0004_0011__while(R_0004_0011__WHILE)
      & has_conj1(R_0004_0011__WHILE,R_0004_0013__IS_R_0004_0014__AWAY)
      & r_0004_0013__is_r_0004_0014__away(R_0004_0013__IS_R_0004_0014__AWAY)
      & has_arg0(R_0004_0013__IS_R_0004_0014__AWAY,R_0004_0007__HIS)
      & has_conj2(R_0004_0011__WHILE,R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0005__LOOK)
      & r_0004_0002__have_r_0004_0003__agreed_r_0004_0005__look(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0005__LOOK)
      & has_r_0004_0006__after__clr(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0005__LOOK,R_0004_0008__FLAT)
      & r_0004_0008__flat(R_0004_0008__FLAT)
      & has_gen(R_0004_0008__FLAT,R_0004_0007__HIS)
      & has_r_0004_0009__for__nim(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0005__LOOK,R_0004_0007__HIS)
      & has_arg0(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0005__LOOK,R_0004_0001__YOU) ) ).