Context                Previous, Next                Top


67_a_voice_of_america
The ministry gave no other details.

%3 r_0067_0003__gave gave r_0067_0001__The_r_0067_0002__ministry The ministry r_0067_0003__gave->r_0067_0001__The_r_0067_0002__ministry [arg0] r_0067_0006__details details r_0067_0003__gave->r_0067_0006__details [arg1] r_0067_0005__other other r_0067_0006__details->r_0067_0005__other [attrib] r_0067_0004__no_quant no [quant] r_0067_0004__no_quant->r_0067_0003__gave [scope] r_0067_0004__no_quant->r_0067_0006__details [restriction] 
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).


%3 r_0067_0003__gave gave r_0067_0001__The_r_0067_0002__ministry The ministry r_0067_0003__gave->r_0067_0001__The_r_0067_0002__ministry [arg0] r_0067_0006__details details r_0067_0003__gave->r_0067_0006__details [arg1] r_0067_0005__other other r_0067_0006__details->r_0067_0005__other [attrib] r_0067_0004__no_quant no [quant] r_0067_0004__no_quant->r_0067_0003__gave [scope] r_0067_0004__no_quant->r_0067_0006__details [restriction] 
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) ) ) ).


n67_a_voice_of_america n67_a_voice_of_america_4 The n67_a_voice_of_america_6 ministry n67_a_voice_of_america_8 gave n67_a_voice_of_america_11 no n67_a_voice_of_america_14 other n67_a_voice_of_america_16 details n67_a_voice_of_america_18 . n67_a_voice_of_america_1 IP-MAT n67_a_voice_of_america_2 NP-SBJ n67_a_voice_of_america_1->n67_a_voice_of_america_2 n67_a_voice_of_america_7 VBD;_Tn_ n67_a_voice_of_america_1->n67_a_voice_of_america_7 n67_a_voice_of_america_9 NP-OB1 n67_a_voice_of_america_1->n67_a_voice_of_america_9 n67_a_voice_of_america_17 PUNC n67_a_voice_of_america_1->n67_a_voice_of_america_17 n67_a_voice_of_america_3 D n67_a_voice_of_america_2->n67_a_voice_of_america_3 n67_a_voice_of_america_5 N n67_a_voice_of_america_2->n67_a_voice_of_america_5 n67_a_voice_of_america_3->n67_a_voice_of_america_4 n67_a_voice_of_america_5->n67_a_voice_of_america_6 n67_a_voice_of_america_7->n67_a_voice_of_america_8 n67_a_voice_of_america_10 Q n67_a_voice_of_america_9->n67_a_voice_of_america_10 n67_a_voice_of_america_12 ADJP n67_a_voice_of_america_9->n67_a_voice_of_america_12 n67_a_voice_of_america_15 NS n67_a_voice_of_america_9->n67_a_voice_of_america_15 n67_a_voice_of_america_10->n67_a_voice_of_america_11 n67_a_voice_of_america_13 ADJ n67_a_voice_of_america_12->n67_a_voice_of_america_13 n67_a_voice_of_america_13->n67_a_voice_of_america_14 n67_a_voice_of_america_15->n67_a_voice_of_america_16 n67_a_voice_of_america_17->n67_a_voice_of_america_18 
( (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))