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_0110_0002__AFGHAN,R_0110_0001__AN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN,R_0110_0005__SAID] :
( r_0110_0002__Afghan(R_0110_0002__AFGHAN)
& 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_0012__nearby(R_0110_0012__NEARBY)
& r_0110_0013__Pakistani(R_0110_0013__PAKISTANI)
& r_0110_0008__were_r_0110_0009__traveling(R_0110_0008__WERE_R_0110_0009__TRAVELING)
& has_r_0110_0010__towards_clr29(R_0110_0008__WERE_R_0110_0009__TRAVELING,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_attrib35(R_0110_0011__THE_R_0110_0014__BORDER,R_0110_0013__PAKISTANI)
& has_attrib32(R_0110_0011__THE_R_0110_0014__BORDER,R_0110_0012__NEARBY)
& has_arg0(R_0110_0008__WERE_R_0110_0009__TRAVELING,R_0110_0006__THE_R_0110_0007__TROOPS) ) )
& has_arg0(R_0110_0005__SAID,R_0110_0001__AN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN)
& r_0110_0001__An_r_0110_0003__Army_r_0110_0004__spokesman(R_0110_0001__AN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN)
& has_attrib5(R_0110_0001__AN_R_0110_0003__ARMY_R_0110_0004__SPOKESMAN,R_0110_0002__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))