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.
arc(r_0110_0001__An_r_0110_0003__Army_r_0110_0004__spokesman, r_0110_0002__Afghan, attrib5).
arc(r_0110_0005__said, r_0110_0001__An_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, scope).
arc(r_0110_0009__traveling, r_0110_0006__the_r_0110_0007__troops, arg0).
arc(r_0110_0009__traveling, r_0110_0011__the_r_0110_0014__border, r_0110_0010__towards_clr29).
arc(r_0110_0011__the_r_0110_0014__border, r_0110_0012__nearby, attrib32).
arc(r_0110_0011__the_r_0110_0014__border, r_0110_0013__Pakistani, attrib35).
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_110_5_SAID,R_110_1_AN_ARMY_SPOKESMAN,R_110_2_AFGHAN] :
( afghan(R_110_2_AFGHAN)
& ! [R_110_18_HIT,R_110_17_VEHICLE,R_110_6_THE_TROOPS,R_110_19_THE_MINE] :
( ( the_troops(R_110_6_THE_TROOPS)
& the_mine(R_110_19_THE_MINE)
& hit(R_110_18_HIT,R_110_17_VEHICLE,R_110_19_THE_MINE)
& vehicle(R_110_17_VEHICLE)
& gen(R_110_17_VEHICLE,R_110_6_THE_TROOPS) )
=> ? [R_110_8_WERE_TRAVELING,R_110_11_THE_BORDER,R_110_12_NEARBY,R_110_13_PAKISTANI] :
( nearby(R_110_12_NEARBY)
& pakistani(R_110_13_PAKISTANI)
& were_traveling(R_110_8_WERE_TRAVELING,R_110_6_THE_TROOPS)
& towards_clr29(R_110_8_WERE_TRAVELING,R_110_11_THE_BORDER)
& the_border(R_110_11_THE_BORDER)
& attrib32(R_110_11_THE_BORDER,R_110_12_NEARBY)
& attrib35(R_110_11_THE_BORDER,R_110_13_PAKISTANI) ) )
& arg1(ARG1)
& said(R_110_5_SAID,R_110_1_AN_ARMY_SPOKESMAN)
& an_Army_spokesman(R_110_1_AN_ARMY_SPOKESMAN)
& attrib5(R_110_1_AN_ARMY_SPOKESMAN,R_110_2_AFGHAN) ) ).
( (IP-MAT (NP-SBJ (D An;{an})
(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))