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

arc(r_0004_0002__came,r_0004_0003__strolling_r_0004_0004__out,scope).
arc(r_0004_0003__strolling_r_0004_0004__out,r_0004_0001__Piers,arg0).
arc(r_0004_0006__meet,r_0004_0001__Piers,arg0).
arc(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_0004_5001,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_r_0004_0015__away,scope).
arc(r_0004_0014__driven_r_0004_0015__away,r_0004_0012__Guy,arg0).
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,nim).
arc(r_0004_0017__invited,r_0004_0021__come_r_0004_0022__to,arg1).
arc(r_0004_0021__come_r_0004_0022__to,r_0004_0007__the_r_0004_0008__Deanes,arg0).
arc(r_0004_0021__come_r_0004_0022__to,r_0004_0024__flat,arg1).
arc(r_0004_0021__come_r_0004_0022__to,r_0004_0026__a_r_0004_0027__drink,r_0004_0025__for__nim).
arc(r_0004_0024__flat,r_0004_0001__Piers,gen).
arc(z_0004_5001,r_0004_0002__came,scope).
arc(z_0004_5001,r_0004_0006__meet,restriction).

fof(formula,axiom,
    ? [R_0004_0012__GUY,R_0004_0013__HAD_R_0004_0014__DRIVEN_R_0004_0015__AWAY,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_0021__COME_R_0004_0022__TO,R_0004_0017__INVITED,R_0004_0011__AS_SOON_AS,R_0004_0002__CAME_R_0004_0003__STROLLING_R_0004_0004__OUT,R_0004_0006__MEET,Z_0004_5001,R_0004_0010__AND] :
      ( r_0004_0001__Piers(R_0004_0001__PIERS)
      & 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_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_0004_5001)
      & z_0004_5001(Z_0004_5001)
      & has_conj1(Z_0004_5001,R_0004_0006__MEET)
      & r_0004_0006__meet(R_0004_0006__MEET)
      & has_arg1(R_0004_0006__MEET,R_0004_0007__THE_R_0004_0008__DEANES)
      & has_arg0(R_0004_0006__MEET,R_0004_0001__PIERS)
      & has_conj2(Z_0004_5001,R_0004_0002__CAME_R_0004_0003__STROLLING_R_0004_0004__OUT)
      & r_0004_0002__came_r_0004_0003__strolling_r_0004_0004__out(R_0004_0002__CAME_R_0004_0003__STROLLING_R_0004_0004__OUT)
      & has_arg0(R_0004_0002__CAME_R_0004_0003__STROLLING_R_0004_0004__OUT,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_0021__COME_R_0004_0022__TO)
      & r_0004_0021__come_r_0004_0022__to(R_0004_0021__COME_R_0004_0022__TO)
      & has_r_0004_0025__for__nim(R_0004_0021__COME_R_0004_0022__TO,R_0004_0026__A_R_0004_0027__DRINK)
      & has_arg1(R_0004_0021__COME_R_0004_0022__TO,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_0021__COME_R_0004_0022__TO,R_0004_0007__THE_R_0004_0008__DEANES)
      & has_nim(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_0015__AWAY)
      & r_0004_0013__had_r_0004_0014__driven_r_0004_0015__away(R_0004_0013__HAD_R_0004_0014__DRIVEN_R_0004_0015__AWAY)
      & has_arg0(R_0004_0013__HAD_R_0004_0014__DRIVEN_R_0004_0015__AWAY,R_0004_0012__GUY) ) ).