( (IP-MAT (ADVP-NIM (ADV Finally;{finally}))
          (PUNC ,)
          (PP-NIM (P-ROLE on;{on})
                  (NP (D the;{the})
                      (ADJP (ADJ last;{last}))
                      (N day;{day})))
          (NP-SBJ (PRO we;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D an;{an})
                  (N afternoon;{afternoon})
                  (ADJP (ADJ free;{free})))
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (VBP;_Tn_ catch;{catch})
                           (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                                   (N plane;{plane}))
                           (ADVP-NIM (ADV home;{home}))))
          (PUNC .))
  (ID 13_a_fce_0100_2001_06))

arc(r_0013_0004__the_r_0013_0006__day,r_0013_0005__last,attrib).
arc(r_0013_0008__have,r_0013_0001__Finally,nim).
arc(r_0013_0008__have,r_0013_0004__the_r_0013_0006__day,r_0013_0003__on__nim).
arc(r_0013_0008__have,r_0013_0007__we,arg0).
arc(r_0013_0008__have,r_0013_0009__an_r_0013_0010__afternoon,arg1).
arc(r_0013_0009__an_r_0013_0010__afternoon,r_0013_0011__free,attrib).
arc(r_0013_0012__before,r_0013_0008__have,scope).
arc(r_0013_0012__before,r_0013_0014__catch,restriction).
arc(r_0013_0014__catch,r_0013_0007__we,arg0).
arc(r_0013_0014__catch,r_0013_0016__plane,arg1).
arc(r_0013_0014__catch,r_0013_0017__home,nim).
arc(r_0013_0016__plane,r_0013_0007__we,gen).

fof(formula,axiom,
    ? [R_0013_0001__FINALLY,R_0013_0005__LAST,R_0013_0004__THE_R_0013_0006__DAY,R_0013_0007__WE,R_0013_0011__FREE,R_0013_0009__AN_R_0013_0010__AFTERNOON,R_0013_0008__HAVE,R_0013_0016__PLANE,R_0013_0017__HOME,R_0013_0014__CATCH,R_0013_0012__BEFORE] :
      ( r_0013_0001__Finally(R_0013_0001__FINALLY)
      & r_0013_0005__last(R_0013_0005__LAST)
      & r_0013_0007__we(R_0013_0007__WE)
      & r_0013_0011__free(R_0013_0011__FREE)
      & r_0013_0017__home(R_0013_0017__HOME)
      & r_0013_0012__before(R_0013_0012__BEFORE)
      & has_conj1(R_0013_0012__BEFORE,R_0013_0014__CATCH)
      & r_0013_0014__catch(R_0013_0014__CATCH)
      & has_nim(R_0013_0014__CATCH,R_0013_0017__HOME)
      & has_arg1(R_0013_0014__CATCH,R_0013_0016__PLANE)
      & r_0013_0016__plane(R_0013_0016__PLANE)
      & has_gen(R_0013_0016__PLANE,R_0013_0007__WE)
      & has_arg0(R_0013_0014__CATCH,R_0013_0007__WE)
      & has_conj2(R_0013_0012__BEFORE,R_0013_0008__HAVE)
      & r_0013_0008__have(R_0013_0008__HAVE)
      & has_arg1(R_0013_0008__HAVE,R_0013_0009__AN_R_0013_0010__AFTERNOON)
      & r_0013_0009__an_r_0013_0010__afternoon(R_0013_0009__AN_R_0013_0010__AFTERNOON)
      & has_attrib(R_0013_0009__AN_R_0013_0010__AFTERNOON,R_0013_0011__FREE)
      & has_arg0(R_0013_0008__HAVE,R_0013_0007__WE)
      & has_r_0013_0003__on__nim(R_0013_0008__HAVE,R_0013_0004__THE_R_0013_0006__DAY)
      & r_0013_0004__the_r_0013_0006__day(R_0013_0004__THE_R_0013_0006__DAY)
      & has_attrib(R_0013_0004__THE_R_0013_0006__DAY,R_0013_0005__LAST)
      & has_nim(R_0013_0008__HAVE,R_0013_0001__FINALLY) ) ).