TSPC 43_a_lob

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

( (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))

arc(r_0043_0002__talked,r_0043_0001__Alastair,arg0).
arc(r_0043_0002__talked,r_0043_0006__when,r_0043_0003__of__clr).
arc(r_0043_0004__running_r_0043_0005__in,r_0043_0001__Alastair,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,nim).
arc(r_0043_0008__were,r_0043_0010__more,prd).
arc(r_0043_0008__were,r_0043_0017__destination,r_0043_0015__from__nim).
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).

fof(formula,axiom,
    ? [R_0043_0001__ALASTAIR,R_0043_0002__TALKED] :
      ( r_0043_0001__Alastair(R_0043_0001__ALASTAIR)
      & r_0043_0002__talked(R_0043_0002__TALKED)
      & ! [R_0043_0008__WERE,R_0043_0007__THEY,R_0043_0009__STILL,R_0043_0012__FOUR_R_0043_0013__HUNDRED_R_0043_0014__MILES,R_0043_0010__MORE,R_0043_0017__DESTINATION] :
          ( ( r_0043_0007__they(R_0043_0007__THEY)
            & r_0043_0009__still(R_0043_0009__STILL)
            & r_0043_0012__four_r_0043_0013__hundred_r_0043_0014__miles(R_0043_0012__FOUR_R_0043_0013__HUNDRED_R_0043_0014__MILES)
            & r_0043_0008__were(R_0043_0008__WERE)
            & has_r_0043_0015__from__nim(R_0043_0008__WERE,R_0043_0017__DESTINATION)
            & r_0043_0017__destination(R_0043_0017__DESTINATION)
            & has_gen(R_0043_0017__DESTINATION,R_0043_0007__THEY)
            & has_prd(R_0043_0008__WERE,R_0043_0010__MORE)
            & r_0043_0010__more(R_0043_0010__MORE)
            & has_r_0043_0011__than(R_0043_0010__MORE,R_0043_0012__FOUR_R_0043_0013__HUNDRED_R_0043_0014__MILES)
            & has_nim(R_0043_0008__WERE,R_0043_0009__STILL)
            & has_arg0(R_0043_0008__WERE,R_0043_0007__THEY) )
         => ? [R_0043_0004__RUNNING_R_0043_0005__IN] :
              ( r_0043_0004__running_r_0043_0005__in(R_0043_0004__RUNNING_R_0043_0005__IN)
              & has_arg0(R_0043_0004__RUNNING_R_0043_0005__IN,R_0043_0001__ALASTAIR) ) )
      & has_arg0(R_0043_0002__TALKED,R_0043_0001__ALASTAIR) ) ).