Context                Previous, Next                Top


43_a_lob_n01
Alastair talked of running in when they were still more than four hundred miles from their destination.

%3 r_0043_0002__talked talked r_0043_0001__Alastair Alastair r_0043_0002__talked->r_0043_0001__Alastair [arg0] r_0043_0006__when when r_0043_0002__talked->r_0043_0006__when of [clr] r_0043_0004__running_r_0043_0005__in running in r_0043_0006__when->r_0043_0004__running_r_0043_0005__in [scope] r_0043_0008__were were r_0043_0006__when->r_0043_0008__were [restriction] z_000_43_a_lob_n01_10 r_0043_0004__running_r_0043_0005__in->z_000_43_a_lob_n01_10 [arg0] r_0043_0007__they they r_0043_0008__were->r_0043_0007__they [arg0] r_0043_0009__still still r_0043_0008__were->r_0043_0009__still [nim] r_0043_0010__more more r_0043_0008__were->r_0043_0010__more [prd] r_0043_0017__destination destination r_0043_0008__were->r_0043_0017__destination from [nim] r_0043_0012__four_r_0043_0013__hundred_r_0043_0014__miles four hundred miles r_0043_0010__more->r_0043_0012__four_r_0043_0013__hundred_r_0043_0014__miles than r_0043_0017__destination->r_0043_0007__they [gen] 
arc(r_0043_0002__talked, r_0043_0001__Alastair, arg0).
arc(r_0043_0002__talked, r_0043_0006__when, r_0043_0003__of_clr10).
arc(r_0043_0004__running_r_0043_0005__in, z_000_43_a_lob_n01_10, arg0).
arc(r_0043_0006__when, r_0043_0004__running_r_0043_0005__in, scope).
arc(r_0043_0006__when, r_0043_0008__were, restriction).
arc(r_0043_0008__were, r_0043_0007__they, arg0).
arc(r_0043_0008__were, r_0043_0009__still, nim24).
arc(r_0043_0008__were, r_0043_0010__more, prd).
arc(r_0043_0008__were, r_0043_0017__destination, r_0043_0015__from_nim43).
arc(r_0043_0010__more, r_0043_0012__four_r_0043_0013__hundred_r_0043_0014__miles, r_0043_0011__than).
arc(r_0043_0017__destination, r_0043_0007__they, gen).


%3 r_0043_0002__talked talked r_0043_0001__Alastair Alastair r_0043_0002__talked->r_0043_0001__Alastair [arg0] r_0043_0006__when when r_0043_0002__talked->r_0043_0006__when of [clr] r_0043_0004__running_r_0043_0005__in running in r_0043_0006__when->r_0043_0004__running_r_0043_0005__in [scope] r_0043_0008__were were r_0043_0006__when->r_0043_0008__were [restriction] z_000_43_a_lob_n01_10 r_0043_0004__running_r_0043_0005__in->z_000_43_a_lob_n01_10 [arg0] r_0043_0007__they they r_0043_0008__were->r_0043_0007__they [arg0] r_0043_0009__still still r_0043_0008__were->r_0043_0009__still [nim] r_0043_0010__more more r_0043_0008__were->r_0043_0010__more [prd] r_0043_0017__destination destination r_0043_0008__were->r_0043_0017__destination from [nim] r_0043_0012__four_r_0043_0013__hundred_r_0043_0014__miles four hundred miles r_0043_0010__more->r_0043_0012__four_r_0043_0013__hundred_r_0043_0014__miles than r_0043_0017__destination->r_0043_0007__they [gen] 
fof(formula,axiom,
    ? [R_43_2_TALKED,R_43_1_ALASTAIR] :
      ( alastair(R_43_1_ALASTAIR)
      & ! [R_43_8_WERE,R_43_9_STILL,R_43_10_MORE,R_43_12_FOUR_HUNDRED_MILES,R_43_17_DESTINATION,R_43_7_THEY] :
          ( ( still(R_43_9_STILL)
            & four_hundred_miles(R_43_12_FOUR_HUNDRED_MILES)
            & they(R_43_7_THEY)
            & were(R_43_8_WERE,R_43_7_THEY,R_43_10_MORE)
            & more(R_43_10_MORE)
            & than(R_43_10_MORE,R_43_12_FOUR_HUNDRED_MILES)
            & nim24(R_43_8_WERE,R_43_9_STILL)
            & from_nim43(R_43_8_WERE,R_43_17_DESTINATION)
            & destination(R_43_17_DESTINATION)
            & gen(R_43_17_DESTINATION,R_43_7_THEY) )
         => ? [R_43_4_RUNNING_IN,Z_43_A_LOB_N01_10] : running_in(R_43_4_RUNNING_IN,Z_43_A_LOB_N01_10) )
      & of_clr10(R_43_3_OF_CLR10)
      & talked(R_43_2_TALKED,R_43_1_ALASTAIR) ) ).


n43_a_lob_n01 n43_a_lob_n01_4 Alastair n43_a_lob_n01_6 talked n43_a_lob_n01_9 of n43_a_lob_n01_12 running n43_a_lob_n01_14 in n43_a_lob_n01_17 when n43_a_lob_n01_21 they n43_a_lob_n01_23 were n43_a_lob_n01_26 still n43_a_lob_n01_29 more n43_a_lob_n01_32 than n43_a_lob_n01_35 four n43_a_lob_n01_37 hundred n43_a_lob_n01_39 miles n43_a_lob_n01_42 from n43_a_lob_n01_46 their n43_a_lob_n01_48 destination n43_a_lob_n01_50 . n43_a_lob_n01_1 IP-MAT n43_a_lob_n01_2 NP-SBJ n43_a_lob_n01_1->n43_a_lob_n01_2 n43_a_lob_n01_5 VBD;__ n43_a_lob_n01_1->n43_a_lob_n01_5 n43_a_lob_n01_7 PP-CLR n43_a_lob_n01_1->n43_a_lob_n01_7 n43_a_lob_n01_49 PUNC n43_a_lob_n01_1->n43_a_lob_n01_49 n43_a_lob_n01_3 NPR n43_a_lob_n01_2->n43_a_lob_n01_3 n43_a_lob_n01_3->n43_a_lob_n01_4 n43_a_lob_n01_5->n43_a_lob_n01_6 n43_a_lob_n01_8 P-ROLE n43_a_lob_n01_7->n43_a_lob_n01_8 n43_a_lob_n01_10 IP-PPL n43_a_lob_n01_7->n43_a_lob_n01_10 n43_a_lob_n01_8->n43_a_lob_n01_9 n43_a_lob_n01_11 VAG;__ n43_a_lob_n01_10->n43_a_lob_n01_11 n43_a_lob_n01_13 RP n43_a_lob_n01_10->n43_a_lob_n01_13 n43_a_lob_n01_15 PP-SCON n43_a_lob_n01_10->n43_a_lob_n01_15 n43_a_lob_n01_11->n43_a_lob_n01_12 n43_a_lob_n01_13->n43_a_lob_n01_14 n43_a_lob_n01_16 P-CONN n43_a_lob_n01_15->n43_a_lob_n01_16 n43_a_lob_n01_18 IP-ADV n43_a_lob_n01_15->n43_a_lob_n01_18 n43_a_lob_n01_16->n43_a_lob_n01_17 n43_a_lob_n01_19 NP-SBJ n43_a_lob_n01_18->n43_a_lob_n01_19 n43_a_lob_n01_22 BED;_La_ n43_a_lob_n01_18->n43_a_lob_n01_22 n43_a_lob_n01_24 ADVP-NIM n43_a_lob_n01_18->n43_a_lob_n01_24 n43_a_lob_n01_27 ADJP-PRD n43_a_lob_n01_18->n43_a_lob_n01_27 n43_a_lob_n01_40 PP-NIM n43_a_lob_n01_18->n43_a_lob_n01_40 n43_a_lob_n01_20 PRO n43_a_lob_n01_19->n43_a_lob_n01_20 n43_a_lob_n01_20->n43_a_lob_n01_21 n43_a_lob_n01_22->n43_a_lob_n01_23 n43_a_lob_n01_25 ADV n43_a_lob_n01_24->n43_a_lob_n01_25 n43_a_lob_n01_25->n43_a_lob_n01_26 n43_a_lob_n01_28 ADJR n43_a_lob_n01_27->n43_a_lob_n01_28 n43_a_lob_n01_30 PP n43_a_lob_n01_27->n43_a_lob_n01_30 n43_a_lob_n01_28->n43_a_lob_n01_29 n43_a_lob_n01_31 P-ROLE n43_a_lob_n01_30->n43_a_lob_n01_31 n43_a_lob_n01_33 NP n43_a_lob_n01_30->n43_a_lob_n01_33 n43_a_lob_n01_31->n43_a_lob_n01_32 n43_a_lob_n01_34 NUM n43_a_lob_n01_33->n43_a_lob_n01_34 n43_a_lob_n01_36 N n43_a_lob_n01_33->n43_a_lob_n01_36 n43_a_lob_n01_38 NS n43_a_lob_n01_33->n43_a_lob_n01_38 n43_a_lob_n01_34->n43_a_lob_n01_35 n43_a_lob_n01_36->n43_a_lob_n01_37 n43_a_lob_n01_38->n43_a_lob_n01_39 n43_a_lob_n01_41 P-ROLE n43_a_lob_n01_40->n43_a_lob_n01_41 n43_a_lob_n01_43 NP n43_a_lob_n01_40->n43_a_lob_n01_43 n43_a_lob_n01_41->n43_a_lob_n01_42 n43_a_lob_n01_44 NP-GEN n43_a_lob_n01_43->n43_a_lob_n01_44 n43_a_lob_n01_47 N n43_a_lob_n01_43->n43_a_lob_n01_47 n43_a_lob_n01_45 PRO;_genm_ n43_a_lob_n01_44->n43_a_lob_n01_45 n43_a_lob_n01_45->n43_a_lob_n01_46 n43_a_lob_n01_47->n43_a_lob_n01_48 n43_a_lob_n01_49->n43_a_lob_n01_50 
( (IP-MAT (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (VBD;__ talked;{talk})
          (PP-CLR (P-ROLE of;{of})
                  (IP-PPL (VAG;__ running;{run})
                          (RP in;{in})
                          (PP-SCON (P-CONN when;{when})
                                   (IP-ADV (NP-SBJ;{ALASTAIR_GEOFFREY} (PRO they;{they}))
                                           (BED;_La_ were;{be})
                                           (ADVP-NIM (ADV still;{still}))
                                           (ADJP-PRD (ADJR more;{more})
                                                     (PP (P-ROLE than;{than})
                                                         (NP (NUM four;{four})
                                                             (N hundred;{hundred})
                                                             (NS miles;{mile}))))
                                           (PP-NIM (P-ROLE from;{from})
                                                   (NP (NP-GEN;{ALASTAIR_GEOFFREY} (PRO;_genm_ their;{their}))
                                                       (N destination;{destination})))))))
          (PUNC .))
  (ID 43_a_lob_n01))