8_a_voice_of_america
No one has claimed responsibility for the killings.
( (IP-MAT (NP-SBJ (Q No;{no})
(N one;{one}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Tn_ claimed;{claim})
(NP-OB1 (N responsibility;{responsibility})
(PP (P-ROLE for;{for})
(NP;{KILLINGS} (D the;{the})
(NS killings;{killing})))))
(PUNC .))
(ID 8_a_voice_of_america;p00d0060))
arc(r_0008_0001__No__quant,r_0008_0002__one,restriction).
arc(r_0008_0001__No__quant,r_0008_0003__has,scope).
arc(r_0008_0003__has,r_0008_0004__claimed,scope).
arc(r_0008_0004__claimed,r_0008_0002__one,arg0).
arc(r_0008_0004__claimed,r_0008_0005__responsibility,arg1).
arc(r_0008_0005__responsibility,r_0008_0007__the_r_0008_0008__killings,r_0008_0006__for).
fof(formula,axiom,
! [R_0008_0002__ONE] :
( r_0008_0002__one(R_0008_0002__ONE)
=> ? [R_0008_0007__THE_R_0008_0008__KILLINGS,R_0008_0005__RESPONSIBILITY,R_0008_0003__HAS_R_0008_0004__CLAIMED] :
( r_0008_0007__the_r_0008_0008__killings(R_0008_0007__THE_R_0008_0008__KILLINGS)
& r_0008_0003__has_r_0008_0004__claimed(R_0008_0003__HAS_R_0008_0004__CLAIMED)
& has_arg1(R_0008_0003__HAS_R_0008_0004__CLAIMED,R_0008_0005__RESPONSIBILITY)
& r_0008_0005__responsibility(R_0008_0005__RESPONSIBILITY)
& has_r_0008_0006__for(R_0008_0005__RESPONSIBILITY,R_0008_0007__THE_R_0008_0008__KILLINGS)
& has_arg0(R_0008_0003__HAS_R_0008_0004__CLAIMED,R_0008_0002__ONE) ) ) ).