100_a_voice_of_america
The Xinhua news agency says police have detained the owner and managers of the mine, but provided no other details.
( (IP-MAT (NP-SBJ (D The;{the})
(NLYR (NPR Xinhua;{Xinhua})
(N news;{news}))
(N agency;{agency}))
(ILYR (ILYR (VBP;_Tf_ says;{say})
(CP-THT-OB1 (IP-SUB (NP-SBJ (NS police;{police}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;_Tn_ detained;{detain})
(NP-OB1 (D the;{the})
(NLYR (NLYR (N owner;{owner}))
(CONJP (CONJ and;{and})
(NLYR (NS managers;{manager}))))
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N mine;{mine}))))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (VBD;_Tn_ provided;{provide})
(NP-OB1 (Q no;{no})
(ADJP (ADJ other;{other}))
(NS details;{detail})))))
(PUNC .))
(ID 100_a_voice_of_america;p00d0457))
arc(r_0100_0005__says,r_0100_0001__The_r_0100_0002__Xinhua_r_0100_0003__news_r_0100_0004__agency,arg0).
arc(r_0100_0005__says,r_0100_0007__have,arg1).
arc(r_0100_0007__have,r_0100_0008__detained,scope).
arc(r_0100_0008__detained,r_0100_0006__police,arg0).
arc(r_0100_0008__detained,r_0100_0009__the_r_0100_0010__owner_r_0100_0011__and_r_0100_0012__managers,arg1).
arc(r_0100_0009__the_r_0100_0010__owner_r_0100_0011__and_r_0100_0012__managers,r_0100_0014__the_r_0100_0015__mine,r_0100_0013__of).
arc(r_0100_0017__but,r_0100_0005__says,conj1).
arc(r_0100_0017__but,r_0100_0019__no__quant,conj2).
arc(r_0100_0018__provided,r_0100_0001__The_r_0100_0002__Xinhua_r_0100_0003__news_r_0100_0004__agency,arg0).
arc(r_0100_0018__provided,r_0100_0021__details,arg1).
arc(r_0100_0019__no__quant,r_0100_0018__provided,scope).
arc(r_0100_0019__no__quant,r_0100_0021__details,restriction).
arc(r_0100_0021__details,r_0100_0020__other,attrib).
fof(formula,axiom,
? [R_0100_0001__THE_R_0100_0002__XINHUA_R_0100_0003__NEWS_R_0100_0004__AGENCY,R_0100_0006__POLICE,R_0100_0014__THE_R_0100_0015__MINE,R_0100_0009__THE_R_0100_0010__OWNER_R_0100_0011__AND_R_0100_0012__MANAGERS,R_0100_0007__HAVE_R_0100_0008__DETAINED,R_0100_0005__SAYS,R_0100_0017__BUT] :
( r_0100_0001__The_r_0100_0002__Xinhua_r_0100_0003__news_r_0100_0004__agency(R_0100_0001__THE_R_0100_0002__XINHUA_R_0100_0003__NEWS_R_0100_0004__AGENCY)
& r_0100_0006__police(R_0100_0006__POLICE)
& r_0100_0014__the_r_0100_0015__mine(R_0100_0014__THE_R_0100_0015__MINE)
& r_0100_0017__but(R_0100_0017__BUT)
& ! [R_0100_0021__DETAILS,R_0100_0020__OTHER] :
( ( r_0100_0020__other(R_0100_0020__OTHER)
& r_0100_0021__details(R_0100_0021__DETAILS)
& has_attrib(R_0100_0021__DETAILS,R_0100_0020__OTHER) )
=> ? [R_0100_0018__PROVIDED] :
( r_0100_0018__provided(R_0100_0018__PROVIDED)
& has_arg1(R_0100_0018__PROVIDED,R_0100_0021__DETAILS)
& has_arg0(R_0100_0018__PROVIDED,R_0100_0001__THE_R_0100_0002__XINHUA_R_0100_0003__NEWS_R_0100_0004__AGENCY) ) )
& has_conj1(R_0100_0017__BUT,R_0100_0005__SAYS)
& r_0100_0005__says(R_0100_0005__SAYS)
& has_arg1(R_0100_0005__SAYS,R_0100_0007__HAVE_R_0100_0008__DETAINED)
& r_0100_0007__have_r_0100_0008__detained(R_0100_0007__HAVE_R_0100_0008__DETAINED)
& has_arg1(R_0100_0007__HAVE_R_0100_0008__DETAINED,R_0100_0009__THE_R_0100_0010__OWNER_R_0100_0011__AND_R_0100_0012__MANAGERS)
& r_0100_0009__the_r_0100_0010__owner_r_0100_0011__and_r_0100_0012__managers(R_0100_0009__THE_R_0100_0010__OWNER_R_0100_0011__AND_R_0100_0012__MANAGERS)
& has_r_0100_0013__of(R_0100_0009__THE_R_0100_0010__OWNER_R_0100_0011__AND_R_0100_0012__MANAGERS,R_0100_0014__THE_R_0100_0015__MINE)
& has_arg0(R_0100_0007__HAVE_R_0100_0008__DETAINED,R_0100_0006__POLICE)
& has_arg0(R_0100_0005__SAYS,R_0100_0001__THE_R_0100_0002__XINHUA_R_0100_0003__NEWS_R_0100_0004__AGENCY) ) ).