67_a_voice_of_america
The ministry gave no other details.
arc(r_0067_0003__gave, r_0067_0001__The_r_0067_0002__ministry, arg0).
arc(r_0067_0003__gave, r_0067_0006__details, arg1).
arc(r_0067_0004__no_quant, r_0067_0003__gave, scope).
arc(r_0067_0004__no_quant, r_0067_0006__details, restriction).
arc(r_0067_0006__details, r_0067_0005__other, attrib12).
fof(formula,axiom,
! [R_67_6_DETAILS,R_67_5_OTHER] :
( ( other(R_67_5_OTHER)
& details(R_67_6_DETAILS)
& attrib12(R_67_6_DETAILS,R_67_5_OTHER) )
=> ? [R_67_3_GAVE,R_67_1_THE_MINISTRY] :
( the_ministry(R_67_1_THE_MINISTRY)
& gave(R_67_3_GAVE,R_67_1_THE_MINISTRY,R_67_6_DETAILS) ) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N ministry;{ministry}))
(VBD;_Tn_ gave;{give})
(NP-OB1 (Q no;{no})
(ADJP (ADJ other;{other}))
(NS details;{detail}))
(PUNC .))
(ID 67_a_voice_of_america;p00d0283))