4_a_lob_n02
Piers came strolling out to meet the Deanes, and as soon as Guy had driven away, invited them casually to come to his flat for a drink.
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_4_10_AND,Z_4_A_LOB_N02_15,R_4_5_TO_MEET,R_4_2_CAME_STROLLING,R_4_4_OUT,R_4_11_AS_SOON_AS,R_4_13_HAD_DRIVEN,R_4_12_GUY,R_4_15_AWAY,R_4_17_INVITED,R_4_20_TO_COME,R_4_24_FLAT,R_4_1_PIERS,R_4_26_A_DRINK,R_4_7_THE_DEANES,R_4_19_CASUALLY] :
( out(R_4_4_OUT)
& guy(R_4_12_GUY)
& away(R_4_15_AWAY)
& piers(R_4_1_PIERS)
& a_drink(R_4_26_A_DRINK)
& the_Deanes(R_4_7_THE_DEANES)
& casually(R_4_19_CASUALLY)
& and(R_4_10_AND)
& conj1(R_4_10_AND,Z_4_A_LOB_N02_15)
& z_4_a_lob_n02_15(Z_4_A_LOB_N02_15)
& conj1(Z_4_A_LOB_N02_15,R_4_5_TO_MEET)
& to_meet(R_4_5_TO_MEET,R_4_1_PIERS,R_4_7_THE_DEANES)
& conj2(Z_4_A_LOB_N02_15,R_4_2_CAME_STROLLING)
& came_strolling(R_4_2_CAME_STROLLING,R_4_1_PIERS)
& clr12(R_4_2_CAME_STROLLING,R_4_4_OUT)
& conj2(R_4_10_AND,R_4_11_AS_SOON_AS)
& as_soon_as(R_4_11_AS_SOON_AS)
& conj1(R_4_11_AS_SOON_AS,R_4_13_HAD_DRIVEN)
& had_driven(R_4_13_HAD_DRIVEN,R_4_12_GUY)
& clr44(R_4_13_HAD_DRIVEN,R_4_15_AWAY)
& conj2(R_4_11_AS_SOON_AS,R_4_17_INVITED)
& invited(R_4_17_INVITED,R_4_1_PIERS,R_4_20_TO_COME,R_4_7_THE_DEANES)
& to_come(R_4_20_TO_COME,R_4_7_THE_DEANES)
& to_clr65(R_4_20_TO_COME,R_4_24_FLAT)
& flat(R_4_24_FLAT)
& gen(R_4_24_FLAT,R_4_1_PIERS)
& for_nim74(R_4_20_TO_COME,R_4_26_A_DRINK)
& nim54(R_4_17_INVITED,R_4_19_CASUALLY) ) ).
( (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))