arc(r_0004_0002__came, r_0004_0003__strolling, scope).
arc(r_0004_0003__strolling, r_0004_0001__Piers, arg0).
arc(r_0004_0003__strolling, r_0004_0004__out, clr12).
arc(r_0004_0005__to_r_0004_0006__meet, r_0004_0001__Piers, arg0).
arc(r_0004_0005__to_r_0004_0006__meet, r_0004_0007__the_r_0004_0008__Deanes, arg1).
arc(r_0004_0010__and, r_0004_0011__as_soon_as, conj2).
arc(r_0004_0010__and, z_000_4_a_lob_n02_15, conj1).
arc(r_0004_0011__as_soon_as, r_0004_0013__had, restriction).
arc(r_0004_0011__as_soon_as, r_0004_0017__invited, scope).
arc(r_0004_0013__had, r_0004_0014__driven, scope).
arc(r_0004_0014__driven, r_0004_0012__Guy, arg0).
arc(r_0004_0014__driven, r_0004_0015__away, clr44).
arc(r_0004_0017__invited, r_0004_0001__Piers, arg0).
arc(r_0004_0017__invited, r_0004_0007__the_r_0004_0008__Deanes, arg2).
arc(r_0004_0017__invited, r_0004_0019__casually, nim54).
arc(r_0004_0017__invited, r_0004_0020__to_r_0004_0021__come, arg1).
arc(r_0004_0020__to_r_0004_0021__come, r_0004_0007__the_r_0004_0008__Deanes, arg0).
arc(r_0004_0020__to_r_0004_0021__come, r_0004_0024__flat, r_0004_0022__to_clr65).
arc(r_0004_0020__to_r_0004_0021__come, r_0004_0026__a_r_0004_0027__drink, r_0004_0025__for_nim74).
arc(r_0004_0024__flat, r_0004_0001__Piers, gen).
arc(z_000_4_a_lob_n02_15, r_0004_0002__came, scope).
arc(z_000_4_a_lob_n02_15, r_0004_0005__to_r_0004_0006__meet, restriction).

fof(formula,axiom,
    ? [R_0004_0012__GUY,R_0004_0015__AWAY,R_0004_0013__HAD_R_0004_0014__DRIVEN,R_0004_0001__PIERS,R_0004_0007__THE_R_0004_0008__DEANES,R_0004_0019__CASUALLY,R_0004_0024__FLAT,R_0004_0026__A_R_0004_0027__DRINK,R_0004_0020__TO_R_0004_0021__COME,R_0004_0017__INVITED,R_0004_0011__AS_SOON_AS,R_0004_0004__OUT,R_0004_0002__CAME_R_0004_0003__STROLLING,R_0004_0005__TO_R_0004_0006__MEET,Z_000_4_A_LOB_N02_15,R_0004_0010__AND] :
      ( r_0004_0001__Piers(R_0004_0001__PIERS)
      & r_0004_0004__out(R_0004_0004__OUT)
      & r_0004_0007__the_r_0004_0008__Deanes(R_0004_0007__THE_R_0004_0008__DEANES)
      & r_0004_0012__Guy(R_0004_0012__GUY)
      & r_0004_0015__away(R_0004_0015__AWAY)
      & r_0004_0019__casually(R_0004_0019__CASUALLY)
      & r_0004_0026__a_r_0004_0027__drink(R_0004_0026__A_R_0004_0027__DRINK)
      & r_0004_0010__and(R_0004_0010__AND)
      & has_conj1(R_0004_0010__AND,Z_000_4_A_LOB_N02_15)
      & z_000_4_a_lob_n02_15(Z_000_4_A_LOB_N02_15)
      & has_conj1(Z_000_4_A_LOB_N02_15,R_0004_0005__TO_R_0004_0006__MEET)
      & r_0004_0005__to_r_0004_0006__meet(R_0004_0005__TO_R_0004_0006__MEET)
      & has_arg1(R_0004_0005__TO_R_0004_0006__MEET,R_0004_0007__THE_R_0004_0008__DEANES)
      & has_arg0(R_0004_0005__TO_R_0004_0006__MEET,R_0004_0001__PIERS)
      & has_conj2(Z_000_4_A_LOB_N02_15,R_0004_0002__CAME_R_0004_0003__STROLLING)
      & r_0004_0002__came_r_0004_0003__strolling(R_0004_0002__CAME_R_0004_0003__STROLLING)
      & has_clr12(R_0004_0002__CAME_R_0004_0003__STROLLING,R_0004_0004__OUT)
      & has_arg0(R_0004_0002__CAME_R_0004_0003__STROLLING,R_0004_0001__PIERS)
      & has_conj2(R_0004_0010__AND,R_0004_0011__AS_SOON_AS)
      & r_0004_0011__as_soon_as(R_0004_0011__AS_SOON_AS)
      & has_conj2(R_0004_0011__AS_SOON_AS,R_0004_0017__INVITED)
      & r_0004_0017__invited(R_0004_0017__INVITED)
      & has_arg1(R_0004_0017__INVITED,R_0004_0020__TO_R_0004_0021__COME)
      & r_0004_0020__to_r_0004_0021__come(R_0004_0020__TO_R_0004_0021__COME)
      & has_r_0004_0025__for_nim74(R_0004_0020__TO_R_0004_0021__COME,R_0004_0026__A_R_0004_0027__DRINK)
      & has_r_0004_0022__to_clr65(R_0004_0020__TO_R_0004_0021__COME,R_0004_0024__FLAT)
      & r_0004_0024__flat(R_0004_0024__FLAT)
      & has_gen(R_0004_0024__FLAT,R_0004_0001__PIERS)
      & has_arg0(R_0004_0020__TO_R_0004_0021__COME,R_0004_0007__THE_R_0004_0008__DEANES)
      & has_nim54(R_0004_0017__INVITED,R_0004_0019__CASUALLY)
      & has_arg2(R_0004_0017__INVITED,R_0004_0007__THE_R_0004_0008__DEANES)
      & has_arg0(R_0004_0017__INVITED,R_0004_0001__PIERS)
      & has_conj1(R_0004_0011__AS_SOON_AS,R_0004_0013__HAD_R_0004_0014__DRIVEN)
      & r_0004_0013__had_r_0004_0014__driven(R_0004_0013__HAD_R_0004_0014__DRIVEN)
      & has_clr44(R_0004_0013__HAD_R_0004_0014__DRIVEN,R_0004_0015__AWAY)
      & has_arg0(R_0004_0013__HAD_R_0004_0014__DRIVEN,R_0004_0012__GUY) ) ).

( (IP-MAT (NP-SBJ;{PIERS} (NPR Piers;{Piers}))
          (ILYR (ILYR (VBD;_cat_Vg_ came;{come})
                      (IP-PPL-CAT (VAG;_Ip_ strolling;{stroll[out]})
                                  (ADVP-CLR (RP out;{out})))
                      (PP-SCON (IP-INF (TO to;{to})
                                       (VB;_Tn_ meet;{meet})
                                       (NP-OB1;{BERYL_MRS_DEANE} (D the;{the})
                                                                 (NPRS Deanes;{Deanes})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN as_soon_as;{as_soon_as})
                                      (IP-ADV (NP-SBJ;{FORREST} (NPR Guy;{Guy}))
                                              (HVD;_cat_Ve_ had;{have})
                                              (IP-PPL-CAT (VVN;_Ip_ driven;{drive[away]})
                                                          (ADVP-CLR (RP away;{away})))))
                             (PUNC ,)
                             (VBD;_Dn.t_ invited;{invite})
                             (NP-OB2;{BERYL_MRS_DEANE} (PRO them;{they}))
                             (ADVP-NIM (ADV casually;{casually}))
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Ipr_ come;{come[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
                                                     (N flat;{flat})))
                                         (PP-NIM (P-ROLE for;{for})
                                                 (NP (D a;{a})
                                                     (N drink;{drink})))))))
          (PUNC .))
  (ID 4_a_lob_n02))