TSPC 110_a_voice_of

110_a_voice_of_america
An Afghan Army spokesman said the troops were traveling towards the nearby Pakistani border when their vehicle hit the mine.

( (IP-MAT (NP-SBJ (D An;{an})
                  (NLYR (ADJP (ADJ Afghan;{afghan}))
                        (N Army;{army}))
                  (N spokesman;{spokesman}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{SOLDIERS} (D the;{the})
                                                 (NS troops;{troop}))
                              (BED;_cat_Vg_ were;{be})
                              (IP-PPL-CAT (VAG;_Ipr_ traveling;{travel[towards]})
                                          (PP-CLR (P-ROLE towards;{towards})
                                                  (NP (D the;{the})
                                                      (ADJP (ADJ nearby;{nearby}))
                                                      (ADJP (ADJ Pakistani;{pakistani}))
                                                      (N border;{border}))))
                              (PP-SCON (P-CONN when;{when})
                                       (IP-ADV (NP-SBJ (NP-GEN;{SOLDIERS} (PRO;_genm_ their;{their}))
                                                       (N vehicle;{vehicle}))
                                               (VBD;_Tn_ hit;{hit})
                                               (NP-OB1 (D the;{the})
                                                       (N mine;{mine}))))))
          (PUNC .))
  (ID 110_a_voice_of_america;p00d0606))

arc(r_0110_0005__said,r_0110_0001__An_r_0110_0002__Afghan_r_0110_0003__Army_r_0110_0004__spokesman,arg0).
arc(r_0110_0005__said,r_0110_0015__when,arg1).
arc(r_0110_0008__were,r_0110_0009__traveling_r_0110_0010__towards,scope).
arc(r_0110_0009__traveling_r_0110_0010__towards,r_0110_0006__the_r_0110_0007__troops,arg0).
arc(r_0110_0009__traveling_r_0110_0010__towards,r_0110_0011__the_r_0110_0014__border,arg1).
arc(r_0110_0011__the_r_0110_0014__border,r_0110_0012__nearby,attrib).
arc(r_0110_0011__the_r_0110_0014__border,r_0110_0013__Pakistani,attrib).
arc(r_0110_0015__when,r_0110_0008__were,scope).
arc(r_0110_0015__when,r_0110_0018__hit,restriction).
arc(r_0110_0017__vehicle,r_0110_0006__the_r_0110_0007__troops,gen).
arc(r_0110_0018__hit,r_0110_0017__vehicle,arg0).
arc(r_0110_0018__hit,r_0110_0019__the_r_0110_0020__mine,arg1).

fof(formula,axiom,
    ? [R_0110_0001__AN_R_0110_0002__AFGHAN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN,R_0110_0005__SAID] :
      ( r_0110_0001__An_r_0110_0002__Afghan_r_0110_0003__Army_r_0110_0004__spokesman(R_0110_0001__AN_R_0110_0002__AFGHAN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN)
      & r_0110_0005__said(R_0110_0005__SAID)
      & ! [R_0110_0018__HIT,R_0110_0006__THE_R_0110_0007__TROOPS,R_0110_0017__VEHICLE,R_0110_0019__THE_R_0110_0020__MINE] :
          ( ( r_0110_0006__the_r_0110_0007__troops(R_0110_0006__THE_R_0110_0007__TROOPS)
            & r_0110_0019__the_r_0110_0020__mine(R_0110_0019__THE_R_0110_0020__MINE)
            & r_0110_0018__hit(R_0110_0018__HIT)
            & has_arg1(R_0110_0018__HIT,R_0110_0019__THE_R_0110_0020__MINE)
            & has_arg0(R_0110_0018__HIT,R_0110_0017__VEHICLE)
            & r_0110_0017__vehicle(R_0110_0017__VEHICLE)
            & has_gen(R_0110_0017__VEHICLE,R_0110_0006__THE_R_0110_0007__TROOPS) )
         => ? [R_0110_0012__NEARBY,R_0110_0013__PAKISTANI,R_0110_0011__THE_R_0110_0014__BORDER,R_0110_0008__WERE_R_0110_0009__TRAVELING_R_0110_0010__TOWARDS] :
              ( r_0110_0012__nearby(R_0110_0012__NEARBY)
              & r_0110_0013__Pakistani(R_0110_0013__PAKISTANI)
              & r_0110_0008__were_r_0110_0009__traveling_r_0110_0010__towards(R_0110_0008__WERE_R_0110_0009__TRAVELING_R_0110_0010__TOWARDS)
              & has_arg1(R_0110_0008__WERE_R_0110_0009__TRAVELING_R_0110_0010__TOWARDS,R_0110_0011__THE_R_0110_0014__BORDER)
              & r_0110_0011__the_r_0110_0014__border(R_0110_0011__THE_R_0110_0014__BORDER)
              & has_attrib(R_0110_0011__THE_R_0110_0014__BORDER,R_0110_0013__PAKISTANI)
              & has_attrib(R_0110_0011__THE_R_0110_0014__BORDER,R_0110_0012__NEARBY)
              & has_arg0(R_0110_0008__WERE_R_0110_0009__TRAVELING_R_0110_0010__TOWARDS,R_0110_0006__THE_R_0110_0007__TROOPS) ) )
      & has_arg0(R_0110_0005__SAID,R_0110_0001__AN_R_0110_0002__AFGHAN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN) ) ).