Context                Previous, Next                Top


7_a_fce_0102_2001_03
I've told my neighbours that you'll come to pick up the keys at 5 o'clock on 4th July.

%3 r_0007_0002___apos_ve 've r_0007_0003__told told r_0007_0002___apos_ve->r_0007_0003__told [scope] r_0007_0001__I I r_0007_0003__told->r_0007_0001__I [arg0] r_0007_0005__neighbours neighbours r_0007_0003__told->r_0007_0005__neighbours [arg2] r_0007_0006__that_r_0007_0008___apos_ll that 'll r_0007_0003__told->r_0007_0006__that_r_0007_0008___apos_ll [arg1] r_0007_0005__neighbours->r_0007_0001__I [gen] r_0007_0009__come come r_0007_0006__that_r_0007_0008___apos_ll->r_0007_0009__come [scope] r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up to pick up r_0007_0009__come->r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up [scope] r_0007_0007__you you r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up->r_0007_0007__you [arg0] r_0007_0013__the_r_0007_0014__keys the keys r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up->r_0007_0013__the_r_0007_0014__keys [arg1] r_0007_0016__5_r_0007_0017__o_apos_clock 5 o'clock r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up->r_0007_0016__5_r_0007_0017__o_apos_clock at [nim] r_0007_0019__4th_r_0007_0020__July 4th July r_0007_0016__5_r_0007_0017__o_apos_clock->r_0007_0019__4th_r_0007_0020__July on 
arc(r_0007_0002___apos_ve, r_0007_0003__told, scope).
arc(r_0007_0003__told, r_0007_0001__I, arg0).
arc(r_0007_0003__told, r_0007_0005__neighbours, arg2).
arc(r_0007_0003__told, r_0007_0006__that_r_0007_0008___apos_ll, arg1).
arc(r_0007_0005__neighbours, r_0007_0001__I, gen).
arc(r_0007_0006__that_r_0007_0008___apos_ll, r_0007_0009__come, scope).
arc(r_0007_0009__come, r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up, scope).
arc(r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up, r_0007_0007__you, arg0).
arc(r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up, r_0007_0013__the_r_0007_0014__keys, arg1).
arc(r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up, r_0007_0016__5_r_0007_0017__o_apos_clock, r_0007_0015__at_nim43).
arc(r_0007_0016__5_r_0007_0017__o_apos_clock, r_0007_0019__4th_r_0007_0020__July, r_0007_0018__on).


%3 r_0007_0002___apos_ve_r_0007_0003__told 've told r_0007_0001__I I r_0007_0002___apos_ve_r_0007_0003__told->r_0007_0001__I [arg0] r_0007_0005__neighbours neighbours r_0007_0002___apos_ve_r_0007_0003__told->r_0007_0005__neighbours [arg2] r_0007_0006__that_r_0007_0008___apos_ll_r_0007_0009__come_r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up that 'll come to pick up r_0007_0002___apos_ve_r_0007_0003__told->r_0007_0006__that_r_0007_0008___apos_ll_r_0007_0009__come_r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up [arg1] r_0007_0005__neighbours->r_0007_0001__I [gen] r_0007_0007__you you r_0007_0006__that_r_0007_0008___apos_ll_r_0007_0009__come_r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up->r_0007_0007__you [arg0] r_0007_0013__the_r_0007_0014__keys the keys r_0007_0006__that_r_0007_0008___apos_ll_r_0007_0009__come_r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up->r_0007_0013__the_r_0007_0014__keys [arg1] r_0007_0016__5_r_0007_0017__o_apos_clock 5 o'clock r_0007_0006__that_r_0007_0008___apos_ll_r_0007_0009__come_r_0007_0010__to_r_0007_0011__pick_r_0007_0012__up->r_0007_0016__5_r_0007_0017__o_apos_clock at [nim] r_0007_0019__4th_r_0007_0020__July 4th July r_0007_0016__5_r_0007_0017__o_apos_clock->r_0007_0019__4th_r_0007_0020__July on 
fof(formula,axiom,
    ? [R_7_2__APOS_VE_TOLD,R_7_6_THAT_APOS_LL_COME_TO_PICK_UP,R_7_7_YOU,R_7_13_THE_KEYS,R_7_16_5_O_APOS_CLOCK,R_7_19_4TH_JULY,R_7_5_NEIGHBOURS,R_7_1_I] :
      ( you(R_7_7_YOU)
      & the_keys(R_7_13_THE_KEYS)
      & 4th_July(R_7_19_4TH_JULY)
      & i(R_7_1_I)
      & _apos_ve_told(R_7_2__APOS_VE_TOLD,R_7_1_I,R_7_6_THAT_APOS_LL_COME_TO_PICK_UP,R_7_5_NEIGHBOURS)
      & that_apos_ll_come_to_pick_up(R_7_6_THAT_APOS_LL_COME_TO_PICK_UP,R_7_7_YOU,R_7_13_THE_KEYS)
      & at_nim43(R_7_6_THAT_APOS_LL_COME_TO_PICK_UP,R_7_16_5_O_APOS_CLOCK)
      & 5_o_apos_clock(R_7_16_5_O_APOS_CLOCK)
      & on(R_7_16_5_O_APOS_CLOCK,R_7_19_4TH_JULY)
      & neighbours(R_7_5_NEIGHBOURS)
      & gen(R_7_5_NEIGHBOURS,R_7_1_I) ) ).


n7_a_fce_0102_2001_03 n7_a_fce_0102_2001_03_4 I n7_a_fce_0102_2001_03_6 've n7_a_fce_0102_2001_03_9 told n7_a_fce_0102_2001_03_13 my n7_a_fce_0102_2001_03_15 neighbours n7_a_fce_0102_2001_03_19 that n7_a_fce_0102_2001_03_22 you n7_a_fce_0102_2001_03_24 'll n7_a_fce_0102_2001_03_27 come n7_a_fce_0102_2001_03_30 to n7_a_fce_0102_2001_03_32 pick n7_a_fce_0102_2001_03_34 up n7_a_fce_0102_2001_03_37 the n7_a_fce_0102_2001_03_39 keys n7_a_fce_0102_2001_03_42 at n7_a_fce_0102_2001_03_45 5 n7_a_fce_0102_2001_03_47 o'clock n7_a_fce_0102_2001_03_50 on n7_a_fce_0102_2001_03_53 4th n7_a_fce_0102_2001_03_55 July n7_a_fce_0102_2001_03_57 . n7_a_fce_0102_2001_03_1 IP-MAT n7_a_fce_0102_2001_03_2 NP-SBJ n7_a_fce_0102_2001_03_1->n7_a_fce_0102_2001_03_2 n7_a_fce_0102_2001_03_5 HVP;_cat_Ve_ n7_a_fce_0102_2001_03_1->n7_a_fce_0102_2001_03_5 n7_a_fce_0102_2001_03_7 IP-PPL-CAT n7_a_fce_0102_2001_03_1->n7_a_fce_0102_2001_03_7 n7_a_fce_0102_2001_03_56 PUNC n7_a_fce_0102_2001_03_1->n7_a_fce_0102_2001_03_56 n7_a_fce_0102_2001_03_3 PRO n7_a_fce_0102_2001_03_2->n7_a_fce_0102_2001_03_3 n7_a_fce_0102_2001_03_3->n7_a_fce_0102_2001_03_4 n7_a_fce_0102_2001_03_5->n7_a_fce_0102_2001_03_6 n7_a_fce_0102_2001_03_8 VVN;_Dn.f_ n7_a_fce_0102_2001_03_7->n7_a_fce_0102_2001_03_8 n7_a_fce_0102_2001_03_10 NP-OB2 n7_a_fce_0102_2001_03_7->n7_a_fce_0102_2001_03_10 n7_a_fce_0102_2001_03_16 CP-THT-OB1 n7_a_fce_0102_2001_03_7->n7_a_fce_0102_2001_03_16 n7_a_fce_0102_2001_03_8->n7_a_fce_0102_2001_03_9 n7_a_fce_0102_2001_03_11 NP-GEN n7_a_fce_0102_2001_03_10->n7_a_fce_0102_2001_03_11 n7_a_fce_0102_2001_03_14 NS n7_a_fce_0102_2001_03_10->n7_a_fce_0102_2001_03_14 n7_a_fce_0102_2001_03_12 PRO;_genm_ n7_a_fce_0102_2001_03_11->n7_a_fce_0102_2001_03_12 n7_a_fce_0102_2001_03_12->n7_a_fce_0102_2001_03_13 n7_a_fce_0102_2001_03_14->n7_a_fce_0102_2001_03_15 n7_a_fce_0102_2001_03_17 IP-SUB n7_a_fce_0102_2001_03_16->n7_a_fce_0102_2001_03_17 n7_a_fce_0102_2001_03_18 C n7_a_fce_0102_2001_03_17->n7_a_fce_0102_2001_03_18 n7_a_fce_0102_2001_03_20 NP-SBJ n7_a_fce_0102_2001_03_17->n7_a_fce_0102_2001_03_20 n7_a_fce_0102_2001_03_23 MD;_cat_Vi_ n7_a_fce_0102_2001_03_17->n7_a_fce_0102_2001_03_23 n7_a_fce_0102_2001_03_25 IP-INF-CAT n7_a_fce_0102_2001_03_17->n7_a_fce_0102_2001_03_25 n7_a_fce_0102_2001_03_18->n7_a_fce_0102_2001_03_19 n7_a_fce_0102_2001_03_21 PRO n7_a_fce_0102_2001_03_20->n7_a_fce_0102_2001_03_21 n7_a_fce_0102_2001_03_21->n7_a_fce_0102_2001_03_22 n7_a_fce_0102_2001_03_23->n7_a_fce_0102_2001_03_24 n7_a_fce_0102_2001_03_26 VB;_cat_Vt_ n7_a_fce_0102_2001_03_25->n7_a_fce_0102_2001_03_26 n7_a_fce_0102_2001_03_28 IP-INF-CAT n7_a_fce_0102_2001_03_25->n7_a_fce_0102_2001_03_28 n7_a_fce_0102_2001_03_26->n7_a_fce_0102_2001_03_27 n7_a_fce_0102_2001_03_29 TO n7_a_fce_0102_2001_03_28->n7_a_fce_0102_2001_03_29 n7_a_fce_0102_2001_03_31 VB;_phr_Vn<=>p_ n7_a_fce_0102_2001_03_28->n7_a_fce_0102_2001_03_31 n7_a_fce_0102_2001_03_33 RP n7_a_fce_0102_2001_03_28->n7_a_fce_0102_2001_03_33 n7_a_fce_0102_2001_03_35 NP-OB1 n7_a_fce_0102_2001_03_28->n7_a_fce_0102_2001_03_35 n7_a_fce_0102_2001_03_40 PP-NIM n7_a_fce_0102_2001_03_28->n7_a_fce_0102_2001_03_40 n7_a_fce_0102_2001_03_29->n7_a_fce_0102_2001_03_30 n7_a_fce_0102_2001_03_31->n7_a_fce_0102_2001_03_32 n7_a_fce_0102_2001_03_33->n7_a_fce_0102_2001_03_34 n7_a_fce_0102_2001_03_36 D n7_a_fce_0102_2001_03_35->n7_a_fce_0102_2001_03_36 n7_a_fce_0102_2001_03_38 NS n7_a_fce_0102_2001_03_35->n7_a_fce_0102_2001_03_38 n7_a_fce_0102_2001_03_36->n7_a_fce_0102_2001_03_37 n7_a_fce_0102_2001_03_38->n7_a_fce_0102_2001_03_39 n7_a_fce_0102_2001_03_41 P-ROLE n7_a_fce_0102_2001_03_40->n7_a_fce_0102_2001_03_41 n7_a_fce_0102_2001_03_43 NP n7_a_fce_0102_2001_03_40->n7_a_fce_0102_2001_03_43 n7_a_fce_0102_2001_03_41->n7_a_fce_0102_2001_03_42 n7_a_fce_0102_2001_03_44 NUM n7_a_fce_0102_2001_03_43->n7_a_fce_0102_2001_03_44 n7_a_fce_0102_2001_03_46 N n7_a_fce_0102_2001_03_43->n7_a_fce_0102_2001_03_46 n7_a_fce_0102_2001_03_48 PP n7_a_fce_0102_2001_03_43->n7_a_fce_0102_2001_03_48 n7_a_fce_0102_2001_03_44->n7_a_fce_0102_2001_03_45 n7_a_fce_0102_2001_03_46->n7_a_fce_0102_2001_03_47 n7_a_fce_0102_2001_03_49 P-ROLE n7_a_fce_0102_2001_03_48->n7_a_fce_0102_2001_03_49 n7_a_fce_0102_2001_03_51 NP n7_a_fce_0102_2001_03_48->n7_a_fce_0102_2001_03_51 n7_a_fce_0102_2001_03_49->n7_a_fce_0102_2001_03_50 n7_a_fce_0102_2001_03_52 NUM n7_a_fce_0102_2001_03_51->n7_a_fce_0102_2001_03_52 n7_a_fce_0102_2001_03_54 NPR n7_a_fce_0102_2001_03_51->n7_a_fce_0102_2001_03_54 n7_a_fce_0102_2001_03_52->n7_a_fce_0102_2001_03_53 n7_a_fce_0102_2001_03_54->n7_a_fce_0102_2001_03_55 n7_a_fce_0102_2001_03_56->n7_a_fce_0102_2001_03_57 
( (IP-MAT (NP-SBJ;{PETE} (PRO I;{I}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (VVN;_Dn.f_ told;{tell})
                      (NP-OB2 (NP-GEN;{PETE} (PRO;_genm_ my;{my}))
                              (NS neighbours;{neighbour}))
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO you;{you}))
                                          (MD;_cat_Vi_ <apos>ll;{will})
                                          (IP-INF-CAT (VB;_cat_Vt_ come;{come})
                                                      (IP-INF-CAT (TO to;{to})
                                                                  (VB;_phr_Vn<=>p_ pick;{pick[up]})
                                                                  (RP up;{up})
                                                                  (NP-OB1 (D the;{the})
                                                                          (NS keys;{key}))
                                                                  (PP-NIM (P-ROLE at;{at})
                                                                          (NP (NUM 5)
                                                                              (N o<apos>clock;{o<apos>clock})
                                                                              (PP (P-ROLE on;{on})
                                                                                  (NP (NUM 4th)
                                                                                      (NPR July;{July}))))))))))
          (PUNC .))
  (ID 7_a_fce_0102_2001_03))