114_a_voice_of_america
The military says U.S. Special Forces advised the Iraqi army in all three operations.
arc(r_0114_0003__says, r_0114_0001__The_r_0114_0002__military, arg0).
arc(r_0114_0003__says, r_0114_0012__all_quant, arg1).
arc(r_0114_0007__advised, r_0114_0004__U_dot_S_dot__r_0114_0005__Special_r_0114_0006__Forces, arg0).
arc(r_0114_0007__advised, r_0114_0008__the_r_0114_0010__army, arg1).
arc(r_0114_0007__advised, r_0114_0013__three_r_0114_0014__operations, r_0114_0011__in_nim31).
arc(r_0114_0008__the_r_0114_0010__army, r_0114_0009__Iraqi, attrib23).
arc(r_0114_0012__all_quant, r_0114_0007__advised, scope).
arc(r_0114_0012__all_quant, r_0114_0013__three_r_0114_0014__operations, restriction).
fof(formula,axiom,
? [R_114_3_SAYS,R_114_1_THE_MILITARY] :
( the_military(R_114_1_THE_MILITARY)
& ! [R_114_13_THREE_OPERATIONS] :
( three_operations(R_114_13_THREE_OPERATIONS)
=> ? [R_114_7_ADVISED,R_114_4_U_DOT_S_DOT_SPECIAL_FORCES,R_114_8_THE_ARMY,R_114_9_IRAQI] :
( u_dot_S_dot_Special_Forces(R_114_4_U_DOT_S_DOT_SPECIAL_FORCES)
& iraqi(R_114_9_IRAQI)
& advised(R_114_7_ADVISED,R_114_4_U_DOT_S_DOT_SPECIAL_FORCES,R_114_8_THE_ARMY)
& the_army(R_114_8_THE_ARMY)
& attrib23(R_114_8_THE_ARMY,R_114_9_IRAQI)
& in_nim31(R_114_7_ADVISED,R_114_13_THREE_OPERATIONS) ) )
& arg1(ARG1)
& says(R_114_3_SAYS,R_114_1_THE_MILITARY) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N military;{military}))
(VBP;_Tf_ says;{say})
(CP-THT-OB1 (IP-SUB (NP-SBJ (NPR U<dot>S<dot>)
(NPR Special;{Special})
(NPR Forces;{Forces}))
(VBD;_Tn_ advised;{advise})
(NP-OB1 (D the;{the})
(ADJP (ADJ Iraqi;{iraqi}))
(N army;{army}))
(PP-NIM (P-ROLE in;{in})
(NP (Q all;{all})
(NUM three;{three})
(NS operations;{operation})))))
(PUNC .))
(ID 114_a_voice_of_america;p00d0630))