13_a_voice_of_america
Critics of Halliburton include auditors and congressional Democrats.
( (IP-MAT (NP-SBJ;{CRITICS} (NS Critics;{critic})
(PP (P-ROLE of;{of})
(NP;{HALLIBURTON} (NPR Halliburton;{Halliburton}))))
(VBP;_Tn_ include;{include})
(NP-OB1 (NLYR (NLYR (NS auditors;{auditor}))
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ congressional;{congressional}))
(NS Democrats;{democrat})))))
(PUNC .))
(ID 13_a_voice_of_america;p00d0086))
arc(r_0013_0001__Critics,r_0013_0003__Halliburton,r_0013_0002__of).
arc(r_0013_0004__include,r_0013_0001__Critics,arg0).
arc(r_0013_0004__include,r_0013_0006__and,arg1).
arc(r_0013_0006__and,r_0013_0005__auditors,conj1).
arc(r_0013_0006__and,r_0013_0008__Democrats,conj2).
arc(r_0013_0008__Democrats,r_0013_0007__congressional,attrib).
fof(formula,axiom,
? [R_0013_0003__HALLIBURTON,R_0013_0001__CRITICS,R_0013_0005__AUDITORS,R_0013_0007__CONGRESSIONAL,R_0013_0008__DEMOCRATS,R_0013_0006__AND,R_0013_0004__INCLUDE] :
( r_0013_0003__Halliburton(R_0013_0003__HALLIBURTON)
& r_0013_0005__auditors(R_0013_0005__AUDITORS)
& r_0013_0007__congressional(R_0013_0007__CONGRESSIONAL)
& r_0013_0004__include(R_0013_0004__INCLUDE)
& has_arg1(R_0013_0004__INCLUDE,R_0013_0006__AND)
& r_0013_0006__and(R_0013_0006__AND)
& has_conj2(R_0013_0006__AND,R_0013_0008__DEMOCRATS)
& r_0013_0008__Democrats(R_0013_0008__DEMOCRATS)
& has_attrib(R_0013_0008__DEMOCRATS,R_0013_0007__CONGRESSIONAL)
& has_conj1(R_0013_0006__AND,R_0013_0005__AUDITORS)
& has_arg0(R_0013_0004__INCLUDE,R_0013_0001__CRITICS)
& r_0013_0001__Critics(R_0013_0001__CRITICS)
& has_r_0013_0002__of(R_0013_0001__CRITICS,R_0013_0003__HALLIBURTON) ) ).