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_0017__destination destination r_0043_0007__they they r_0043_0017__destination->r_0043_0007__they [gen] r_0043_0010__more more 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_0008__were were r_0043_0008__were->r_0043_0017__destination from [nim] r_0043_0008__were->r_0043_0007__they [arg0] r_0043_0008__were->r_0043_0010__more [prd] r_0043_0009__still still r_0043_0008__were->r_0043_0009__still [nim] r_0043_0006__when when r_0043_0006__when->r_0043_0008__were [restriction] r_0043_0004__running_r_0043_0005__in running in r_0043_0006__when->r_0043_0004__running_r_0043_0005__in [scope] 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_0002__talked talked r_0043_0002__talked->r_0043_0006__when of [clr] r_0043_0001__Alastair Alastair r_0043_0002__talked->r_0043_0001__Alastair [arg0] 
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__1_1_1_1 Alastair n43_a_lob_n01__1_2_1 talked n43_a_lob_n01__1_3_1_1 of n43_a_lob_n01__1_3_2_1_1 running n43_a_lob_n01__1_3_2_2_1 in n43_a_lob_n01__1_3_2_3_1_1 when n43_a_lob_n01__1_3_2_3_2_1_1_1 they n43_a_lob_n01__1_3_2_3_2_2_1 were n43_a_lob_n01__1_3_2_3_2_3_1_1 still n43_a_lob_n01__1_3_2_3_2_4_1_1 more n43_a_lob_n01__1_3_2_3_2_4_2_1_1 than n43_a_lob_n01__1_3_2_3_2_4_2_2_1_1 four n43_a_lob_n01__1_3_2_3_2_4_2_2_2_1 hundred n43_a_lob_n01__1_3_2_3_2_4_2_2_3_1 miles n43_a_lob_n01__1_3_2_3_2_5_1_1 from n43_a_lob_n01__1_3_2_3_2_5_2_1_1_1 their n43_a_lob_n01__1_3_2_3_2_5_2_2_1 destination n43_a_lob_n01__1_4_1 . n43_a_lob_n01__1 IP-MAT n43_a_lob_n01__1_1 NP-SBJ n43_a_lob_n01__1->n43_a_lob_n01__1_1 n43_a_lob_n01__1_2 VBD;__ n43_a_lob_n01__1->n43_a_lob_n01__1_2 n43_a_lob_n01__1_3 PP-CLR n43_a_lob_n01__1->n43_a_lob_n01__1_3 n43_a_lob_n01__1_4 PUNC n43_a_lob_n01__1->n43_a_lob_n01__1_4 n43_a_lob_n01__1_1_1 NPR n43_a_lob_n01__1_1->n43_a_lob_n01__1_1_1 n43_a_lob_n01__1_1_1->n43_a_lob_n01__1_1_1_1 n43_a_lob_n01__1_2->n43_a_lob_n01__1_2_1 n43_a_lob_n01__1_3_1 P-ROLE n43_a_lob_n01__1_3->n43_a_lob_n01__1_3_1 n43_a_lob_n01__1_3_2 IP-PPL n43_a_lob_n01__1_3->n43_a_lob_n01__1_3_2 n43_a_lob_n01__1_3_1->n43_a_lob_n01__1_3_1_1 n43_a_lob_n01__1_3_2_1 VAG;__ n43_a_lob_n01__1_3_2->n43_a_lob_n01__1_3_2_1 n43_a_lob_n01__1_3_2_2 RP n43_a_lob_n01__1_3_2->n43_a_lob_n01__1_3_2_2 n43_a_lob_n01__1_3_2_3 PP-SCON n43_a_lob_n01__1_3_2->n43_a_lob_n01__1_3_2_3 n43_a_lob_n01__1_3_2_1->n43_a_lob_n01__1_3_2_1_1 n43_a_lob_n01__1_3_2_2->n43_a_lob_n01__1_3_2_2_1 n43_a_lob_n01__1_3_2_3_1 P-CONN n43_a_lob_n01__1_3_2_3->n43_a_lob_n01__1_3_2_3_1 n43_a_lob_n01__1_3_2_3_2 IP-ADV n43_a_lob_n01__1_3_2_3->n43_a_lob_n01__1_3_2_3_2 n43_a_lob_n01__1_3_2_3_1->n43_a_lob_n01__1_3_2_3_1_1 n43_a_lob_n01__1_3_2_3_2_1 NP-SBJ n43_a_lob_n01__1_3_2_3_2->n43_a_lob_n01__1_3_2_3_2_1 n43_a_lob_n01__1_3_2_3_2_2 BED;_La_ n43_a_lob_n01__1_3_2_3_2->n43_a_lob_n01__1_3_2_3_2_2 n43_a_lob_n01__1_3_2_3_2_3 ADVP-NIM n43_a_lob_n01__1_3_2_3_2->n43_a_lob_n01__1_3_2_3_2_3 n43_a_lob_n01__1_3_2_3_2_4 ADJP-PRD n43_a_lob_n01__1_3_2_3_2->n43_a_lob_n01__1_3_2_3_2_4 n43_a_lob_n01__1_3_2_3_2_5 PP-NIM n43_a_lob_n01__1_3_2_3_2->n43_a_lob_n01__1_3_2_3_2_5 n43_a_lob_n01__1_3_2_3_2_1_1 PRO n43_a_lob_n01__1_3_2_3_2_1->n43_a_lob_n01__1_3_2_3_2_1_1 n43_a_lob_n01__1_3_2_3_2_1_1->n43_a_lob_n01__1_3_2_3_2_1_1_1 n43_a_lob_n01__1_3_2_3_2_2->n43_a_lob_n01__1_3_2_3_2_2_1 n43_a_lob_n01__1_3_2_3_2_3_1 ADV n43_a_lob_n01__1_3_2_3_2_3->n43_a_lob_n01__1_3_2_3_2_3_1 n43_a_lob_n01__1_3_2_3_2_3_1->n43_a_lob_n01__1_3_2_3_2_3_1_1 n43_a_lob_n01__1_3_2_3_2_4_1 ADJR n43_a_lob_n01__1_3_2_3_2_4->n43_a_lob_n01__1_3_2_3_2_4_1 n43_a_lob_n01__1_3_2_3_2_4_2 PP n43_a_lob_n01__1_3_2_3_2_4->n43_a_lob_n01__1_3_2_3_2_4_2 n43_a_lob_n01__1_3_2_3_2_4_1->n43_a_lob_n01__1_3_2_3_2_4_1_1 n43_a_lob_n01__1_3_2_3_2_4_2_1 P-ROLE n43_a_lob_n01__1_3_2_3_2_4_2->n43_a_lob_n01__1_3_2_3_2_4_2_1 n43_a_lob_n01__1_3_2_3_2_4_2_2 NP n43_a_lob_n01__1_3_2_3_2_4_2->n43_a_lob_n01__1_3_2_3_2_4_2_2 n43_a_lob_n01__1_3_2_3_2_4_2_1->n43_a_lob_n01__1_3_2_3_2_4_2_1_1 n43_a_lob_n01__1_3_2_3_2_4_2_2_1 NUM n43_a_lob_n01__1_3_2_3_2_4_2_2->n43_a_lob_n01__1_3_2_3_2_4_2_2_1 n43_a_lob_n01__1_3_2_3_2_4_2_2_2 N n43_a_lob_n01__1_3_2_3_2_4_2_2->n43_a_lob_n01__1_3_2_3_2_4_2_2_2 n43_a_lob_n01__1_3_2_3_2_4_2_2_3 NS n43_a_lob_n01__1_3_2_3_2_4_2_2->n43_a_lob_n01__1_3_2_3_2_4_2_2_3 n43_a_lob_n01__1_3_2_3_2_4_2_2_1->n43_a_lob_n01__1_3_2_3_2_4_2_2_1_1 n43_a_lob_n01__1_3_2_3_2_4_2_2_2->n43_a_lob_n01__1_3_2_3_2_4_2_2_2_1 n43_a_lob_n01__1_3_2_3_2_4_2_2_3->n43_a_lob_n01__1_3_2_3_2_4_2_2_3_1 n43_a_lob_n01__1_3_2_3_2_5_1 P-ROLE n43_a_lob_n01__1_3_2_3_2_5->n43_a_lob_n01__1_3_2_3_2_5_1 n43_a_lob_n01__1_3_2_3_2_5_2 NP n43_a_lob_n01__1_3_2_3_2_5->n43_a_lob_n01__1_3_2_3_2_5_2 n43_a_lob_n01__1_3_2_3_2_5_1->n43_a_lob_n01__1_3_2_3_2_5_1_1 n43_a_lob_n01__1_3_2_3_2_5_2_1 NP-GEN n43_a_lob_n01__1_3_2_3_2_5_2->n43_a_lob_n01__1_3_2_3_2_5_2_1 n43_a_lob_n01__1_3_2_3_2_5_2_2 N n43_a_lob_n01__1_3_2_3_2_5_2->n43_a_lob_n01__1_3_2_3_2_5_2_2 n43_a_lob_n01__1_3_2_3_2_5_2_1_1 PRO;_genm_ n43_a_lob_n01__1_3_2_3_2_5_2_1->n43_a_lob_n01__1_3_2_3_2_5_2_1_1 n43_a_lob_n01__1_3_2_3_2_5_2_1_1->n43_a_lob_n01__1_3_2_3_2_5_2_1_1_1 n43_a_lob_n01__1_3_2_3_2_5_2_2->n43_a_lob_n01__1_3_2_3_2_5_2_2_1 n43_a_lob_n01__1_4->n43_a_lob_n01__1_4_1 
( (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))