Context                Previous, Next                Top


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.

%3 r_0004_0002__came came r_0004_0003__strolling strolling r_0004_0002__came->r_0004_0003__strolling [scope] r_0004_0001__Piers Piers r_0004_0003__strolling->r_0004_0001__Piers [arg0] r_0004_0004__out out r_0004_0003__strolling->r_0004_0004__out [clr] r_0004_0005__to_r_0004_0006__meet to meet r_0004_0005__to_r_0004_0006__meet->r_0004_0001__Piers [arg0] r_0004_0007__the_r_0004_0008__Deanes the Deanes r_0004_0005__to_r_0004_0006__meet->r_0004_0007__the_r_0004_0008__Deanes [arg1] r_0004_0010__and and r_0004_0011__as_soon_as as soon as r_0004_0010__and->r_0004_0011__as_soon_as [conj2] z_000_4_a_lob_n02_15 r_0004_0010__and->z_000_4_a_lob_n02_15 [conj1] r_0004_0013__had had r_0004_0011__as_soon_as->r_0004_0013__had [restriction] r_0004_0017__invited invited r_0004_0011__as_soon_as->r_0004_0017__invited [scope] z_000_4_a_lob_n02_15->r_0004_0002__came [scope] z_000_4_a_lob_n02_15->r_0004_0005__to_r_0004_0006__meet [restriction] r_0004_0014__driven driven r_0004_0013__had->r_0004_0014__driven [scope] r_0004_0017__invited->r_0004_0001__Piers [arg0] r_0004_0017__invited->r_0004_0007__the_r_0004_0008__Deanes [arg2] r_0004_0019__casually casually r_0004_0017__invited->r_0004_0019__casually [nim] r_0004_0020__to_r_0004_0021__come to come r_0004_0017__invited->r_0004_0020__to_r_0004_0021__come [arg1] r_0004_0012__Guy Guy r_0004_0014__driven->r_0004_0012__Guy [arg0] r_0004_0015__away away r_0004_0014__driven->r_0004_0015__away [clr] r_0004_0020__to_r_0004_0021__come->r_0004_0007__the_r_0004_0008__Deanes [arg0] r_0004_0024__flat flat r_0004_0020__to_r_0004_0021__come->r_0004_0024__flat to [clr] r_0004_0026__a_r_0004_0027__drink a drink r_0004_0020__to_r_0004_0021__come->r_0004_0026__a_r_0004_0027__drink for [nim] r_0004_0024__flat->r_0004_0001__Piers [gen] 
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).


%3 r_0004_0002__came_r_0004_0003__strolling came strolling r_0004_0001__Piers Piers r_0004_0002__came_r_0004_0003__strolling->r_0004_0001__Piers [arg0] r_0004_0004__out out r_0004_0002__came_r_0004_0003__strolling->r_0004_0004__out [clr] r_0004_0005__to_r_0004_0006__meet to meet r_0004_0005__to_r_0004_0006__meet->r_0004_0001__Piers [arg0] r_0004_0007__the_r_0004_0008__Deanes the Deanes r_0004_0005__to_r_0004_0006__meet->r_0004_0007__the_r_0004_0008__Deanes [arg1] r_0004_0010__and and r_0004_0011__as_soon_as as soon as r_0004_0010__and->r_0004_0011__as_soon_as [conj2] z_000_4_a_lob_n02_15 r_0004_0010__and->z_000_4_a_lob_n02_15 [conj1] r_0004_0013__had_r_0004_0014__driven had driven r_0004_0011__as_soon_as->r_0004_0013__had_r_0004_0014__driven [conj1] r_0004_0017__invited invited r_0004_0011__as_soon_as->r_0004_0017__invited [conj2] z_000_4_a_lob_n02_15->r_0004_0002__came_r_0004_0003__strolling [conj2] z_000_4_a_lob_n02_15->r_0004_0005__to_r_0004_0006__meet [conj1] r_0004_0012__Guy Guy r_0004_0013__had_r_0004_0014__driven->r_0004_0012__Guy [arg0] r_0004_0015__away away r_0004_0013__had_r_0004_0014__driven->r_0004_0015__away [clr] r_0004_0017__invited->r_0004_0001__Piers [arg0] r_0004_0017__invited->r_0004_0007__the_r_0004_0008__Deanes [arg2] r_0004_0019__casually casually r_0004_0017__invited->r_0004_0019__casually [nim] r_0004_0020__to_r_0004_0021__come to come r_0004_0017__invited->r_0004_0020__to_r_0004_0021__come [arg1] r_0004_0020__to_r_0004_0021__come->r_0004_0007__the_r_0004_0008__Deanes [arg0] r_0004_0024__flat flat r_0004_0020__to_r_0004_0021__come->r_0004_0024__flat to [clr] r_0004_0026__a_r_0004_0027__drink a drink r_0004_0020__to_r_0004_0021__come->r_0004_0026__a_r_0004_0027__drink for [nim] r_0004_0024__flat->r_0004_0001__Piers [gen] 
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) ) ).


n4_a_lob_n02 n4_a_lob_n02_4 Piers n4_a_lob_n02_8 came n4_a_lob_n02_11 strolling n4_a_lob_n02_14 out n4_a_lob_n02_18 to n4_a_lob_n02_20 meet n4_a_lob_n02_23 the n4_a_lob_n02_25 Deanes n4_a_lob_n02_27 , n4_a_lob_n02_30 and n4_a_lob_n02_34 as_soon_as n4_a_lob_n02_38 Guy n4_a_lob_n02_40 had n4_a_lob_n02_43 driven n4_a_lob_n02_46 away n4_a_lob_n02_48 , n4_a_lob_n02_50 invited n4_a_lob_n02_53 them n4_a_lob_n02_56 casually n4_a_lob_n02_59 to n4_a_lob_n02_61 come n4_a_lob_n02_64 to n4_a_lob_n02_68 his n4_a_lob_n02_70 flat n4_a_lob_n02_73 for n4_a_lob_n02_76 a n4_a_lob_n02_78 drink n4_a_lob_n02_80 . n4_a_lob_n02_1 IP-MAT n4_a_lob_n02_2 NP-SBJ n4_a_lob_n02_1->n4_a_lob_n02_2 n4_a_lob_n02_5 ILYR n4_a_lob_n02_1->n4_a_lob_n02_5 n4_a_lob_n02_79 PUNC n4_a_lob_n02_1->n4_a_lob_n02_79 n4_a_lob_n02_3 NPR n4_a_lob_n02_2->n4_a_lob_n02_3 n4_a_lob_n02_3->n4_a_lob_n02_4 n4_a_lob_n02_6 ILYR n4_a_lob_n02_5->n4_a_lob_n02_6 n4_a_lob_n02_26 PUNC n4_a_lob_n02_5->n4_a_lob_n02_26 n4_a_lob_n02_28 CONJP n4_a_lob_n02_5->n4_a_lob_n02_28 n4_a_lob_n02_7 VBD;_cat_Vg_ n4_a_lob_n02_6->n4_a_lob_n02_7 n4_a_lob_n02_9 IP-PPL-CAT n4_a_lob_n02_6->n4_a_lob_n02_9 n4_a_lob_n02_15 PP-SCON n4_a_lob_n02_6->n4_a_lob_n02_15 n4_a_lob_n02_7->n4_a_lob_n02_8 n4_a_lob_n02_10 VAG;_Ip_ n4_a_lob_n02_9->n4_a_lob_n02_10 n4_a_lob_n02_12 ADVP-CLR n4_a_lob_n02_9->n4_a_lob_n02_12 n4_a_lob_n02_10->n4_a_lob_n02_11 n4_a_lob_n02_13 RP n4_a_lob_n02_12->n4_a_lob_n02_13 n4_a_lob_n02_13->n4_a_lob_n02_14 n4_a_lob_n02_16 IP-INF n4_a_lob_n02_15->n4_a_lob_n02_16 n4_a_lob_n02_17 TO n4_a_lob_n02_16->n4_a_lob_n02_17 n4_a_lob_n02_19 VB;_Tn_ n4_a_lob_n02_16->n4_a_lob_n02_19 n4_a_lob_n02_21 NP-OB1 n4_a_lob_n02_16->n4_a_lob_n02_21 n4_a_lob_n02_17->n4_a_lob_n02_18 n4_a_lob_n02_19->n4_a_lob_n02_20 n4_a_lob_n02_22 D n4_a_lob_n02_21->n4_a_lob_n02_22 n4_a_lob_n02_24 NPRS n4_a_lob_n02_21->n4_a_lob_n02_24 n4_a_lob_n02_22->n4_a_lob_n02_23 n4_a_lob_n02_24->n4_a_lob_n02_25 n4_a_lob_n02_26->n4_a_lob_n02_27 n4_a_lob_n02_29 CONJ n4_a_lob_n02_28->n4_a_lob_n02_29 n4_a_lob_n02_31 ILYR n4_a_lob_n02_28->n4_a_lob_n02_31 n4_a_lob_n02_29->n4_a_lob_n02_30 n4_a_lob_n02_32 PP-SCON n4_a_lob_n02_31->n4_a_lob_n02_32 n4_a_lob_n02_47 PUNC n4_a_lob_n02_31->n4_a_lob_n02_47 n4_a_lob_n02_49 VBD;_Dn.t_ n4_a_lob_n02_31->n4_a_lob_n02_49 n4_a_lob_n02_51 NP-OB2 n4_a_lob_n02_31->n4_a_lob_n02_51 n4_a_lob_n02_54 ADVP-NIM n4_a_lob_n02_31->n4_a_lob_n02_54 n4_a_lob_n02_57 IP-INF-OB1 n4_a_lob_n02_31->n4_a_lob_n02_57 n4_a_lob_n02_33 P-CONN n4_a_lob_n02_32->n4_a_lob_n02_33 n4_a_lob_n02_35 IP-ADV n4_a_lob_n02_32->n4_a_lob_n02_35 n4_a_lob_n02_33->n4_a_lob_n02_34 n4_a_lob_n02_36 NP-SBJ n4_a_lob_n02_35->n4_a_lob_n02_36 n4_a_lob_n02_39 HVD;_cat_Ve_ n4_a_lob_n02_35->n4_a_lob_n02_39 n4_a_lob_n02_41 IP-PPL-CAT n4_a_lob_n02_35->n4_a_lob_n02_41 n4_a_lob_n02_37 NPR n4_a_lob_n02_36->n4_a_lob_n02_37 n4_a_lob_n02_37->n4_a_lob_n02_38 n4_a_lob_n02_39->n4_a_lob_n02_40 n4_a_lob_n02_42 VVN;_Ip_ n4_a_lob_n02_41->n4_a_lob_n02_42 n4_a_lob_n02_44 ADVP-CLR n4_a_lob_n02_41->n4_a_lob_n02_44 n4_a_lob_n02_42->n4_a_lob_n02_43 n4_a_lob_n02_45 RP n4_a_lob_n02_44->n4_a_lob_n02_45 n4_a_lob_n02_45->n4_a_lob_n02_46 n4_a_lob_n02_47->n4_a_lob_n02_48 n4_a_lob_n02_49->n4_a_lob_n02_50 n4_a_lob_n02_52 PRO n4_a_lob_n02_51->n4_a_lob_n02_52 n4_a_lob_n02_52->n4_a_lob_n02_53 n4_a_lob_n02_55 ADV n4_a_lob_n02_54->n4_a_lob_n02_55 n4_a_lob_n02_55->n4_a_lob_n02_56 n4_a_lob_n02_58 TO n4_a_lob_n02_57->n4_a_lob_n02_58 n4_a_lob_n02_60 VB;_Ipr_ n4_a_lob_n02_57->n4_a_lob_n02_60 n4_a_lob_n02_62 PP-CLR n4_a_lob_n02_57->n4_a_lob_n02_62 n4_a_lob_n02_71 PP-NIM n4_a_lob_n02_57->n4_a_lob_n02_71 n4_a_lob_n02_58->n4_a_lob_n02_59 n4_a_lob_n02_60->n4_a_lob_n02_61 n4_a_lob_n02_63 P-ROLE n4_a_lob_n02_62->n4_a_lob_n02_63 n4_a_lob_n02_65 NP n4_a_lob_n02_62->n4_a_lob_n02_65 n4_a_lob_n02_63->n4_a_lob_n02_64 n4_a_lob_n02_66 NP-GEN n4_a_lob_n02_65->n4_a_lob_n02_66 n4_a_lob_n02_69 N n4_a_lob_n02_65->n4_a_lob_n02_69 n4_a_lob_n02_67 PRO;_genm_ n4_a_lob_n02_66->n4_a_lob_n02_67 n4_a_lob_n02_67->n4_a_lob_n02_68 n4_a_lob_n02_69->n4_a_lob_n02_70 n4_a_lob_n02_72 P-ROLE n4_a_lob_n02_71->n4_a_lob_n02_72 n4_a_lob_n02_74 NP n4_a_lob_n02_71->n4_a_lob_n02_74 n4_a_lob_n02_72->n4_a_lob_n02_73 n4_a_lob_n02_75 D n4_a_lob_n02_74->n4_a_lob_n02_75 n4_a_lob_n02_77 N n4_a_lob_n02_74->n4_a_lob_n02_77 n4_a_lob_n02_75->n4_a_lob_n02_76 n4_a_lob_n02_77->n4_a_lob_n02_78 n4_a_lob_n02_79->n4_a_lob_n02_80 
( (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))