arc(r_0004_0002__have, r_0004_0003__agreed, scope).
arc(r_0004_0003__agreed, r_0004_0004__to_r_0004_0005__look, scope).
arc(r_0004_0004__to_r_0004_0005__look, r_0004_0001__You, arg0).
arc(r_0004_0004__to_r_0004_0005__look, r_0004_0008__flat, r_0004_0006__after_clr18).
arc(r_0004_0004__to_r_0004_0005__look, r_0004_0010__him, r_0004_0009__for_nim27).
arc(r_0004_0008__flat, r_0004_0010__him, gen).
arc(r_0004_0011__while, r_0004_0002__have, scope).
arc(r_0004_0011__while, r_0004_0013__is, restriction).
arc(r_0004_0013__is, r_0004_0012__he, arg0).
arc(r_0004_0013__is, r_0004_0014__away, clr39).

fof(formula,axiom,
    ? [R_0004_0001__YOU,R_0004_0010__HIM,R_0004_0008__FLAT,R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0004__TO_R_0004_0005__LOOK,R_0004_0012__HE,R_0004_0014__AWAY,R_0004_0013__IS,R_0004_0011__WHILE] :
      ( r_0004_0001__You(R_0004_0001__YOU)
      & r_0004_0010__him(R_0004_0010__HIM)
      & r_0004_0012__he(R_0004_0012__HE)
      & r_0004_0014__away(R_0004_0014__AWAY)
      & r_0004_0011__while(R_0004_0011__WHILE)
      & has_conj1(R_0004_0011__WHILE,R_0004_0013__IS)
      & r_0004_0013__is(R_0004_0013__IS)
      & has_clr39(R_0004_0013__IS,R_0004_0014__AWAY)
      & has_arg0(R_0004_0013__IS,R_0004_0012__HE)
      & has_conj2(R_0004_0011__WHILE,R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0004__TO_R_0004_0005__LOOK)
      & r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0004__TO_R_0004_0005__LOOK)
      & has_r_0004_0009__for_nim27(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0004__TO_R_0004_0005__LOOK,R_0004_0010__HIM)
      & has_r_0004_0006__after_clr18(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0004__TO_R_0004_0005__LOOK,R_0004_0008__FLAT)
      & r_0004_0008__flat(R_0004_0008__FLAT)
      & has_gen(R_0004_0008__FLAT,R_0004_0010__HIM)
      & has_arg0(R_0004_0002__HAVE_R_0004_0003__AGREED_R_0004_0004__TO_R_0004_0005__LOOK,R_0004_0001__YOU) ) ).

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