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.
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_0011__and, arg1).
arc(r_0100_0011__and, r_0100_0010__owner, conj1).
arc(r_0100_0011__and, r_0100_0012__managers, conj2).
arc(r_0100_0011__and, 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, attrib57).
fof(formula,axiom,
? [R_100_17_BUT,R_100_5_SAYS,R_100_1_THE_XINHUA_NEWS_AGENCY,R_100_7_HAVE_DETAINED,R_100_6_POLICE,R_100_11_AND,R_100_10_OWNER,R_100_12_MANAGERS,R_100_14_THE_MINE] :
( the_Xinhua_news_agency(R_100_1_THE_XINHUA_NEWS_AGENCY)
& police(R_100_6_POLICE)
& owner(R_100_10_OWNER)
& managers(R_100_12_MANAGERS)
& the_mine(R_100_14_THE_MINE)
& ! [R_100_21_DETAILS,R_100_20_OTHER] :
( ( other(R_100_20_OTHER)
& details(R_100_21_DETAILS)
& attrib57(R_100_21_DETAILS,R_100_20_OTHER) )
=> ? [R_100_18_PROVIDED] : provided(R_100_18_PROVIDED,R_100_1_THE_XINHUA_NEWS_AGENCY,R_100_21_DETAILS) )
& conj2(CONJ2)
& but(R_100_17_BUT)
& conj1(R_100_17_BUT,R_100_5_SAYS)
& says(R_100_5_SAYS,R_100_1_THE_XINHUA_NEWS_AGENCY,R_100_7_HAVE_DETAINED)
& have_detained(R_100_7_HAVE_DETAINED,R_100_6_POLICE,R_100_11_AND)
& and(R_100_11_AND)
& conj1(R_100_11_AND,R_100_10_OWNER)
& conj2(R_100_11_AND,R_100_12_MANAGERS)
& of(R_100_11_AND,R_100_14_THE_MINE) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(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))