35_a_freedoom
Many of the levels are littered with exploding barrels.
( (IP-MAT (NP-SBJ (ADJP (ADJ Many;{many}))
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS levels;{level}))))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Ipr_ littered;{litter[with]})
(PP-CLR (P-ROLE with;{with})
(NP;{BARRELS} (IP-PPL (VAG;_I_ exploding;{explode}))
(NS barrels;{barrel}))))
(PUNC .))
(ID 35_a_freedoom))
arc(r_0035_0005__are,r_0035_0006__littered_r_0035_0007__with,scope).
arc(r_0035_0006__littered_r_0035_0007__with,r_0035_0009__barrels,arg1).
arc(r_0035_0006__littered_r_0035_0007__with,z_0035_5004,arg2).
arc(r_0035_0006__littered_r_0035_0007__with,z_0035_5008___star_,arg0).
arc(r_0035_0008__exploding,r_0035_0009__barrels,inv_arg0).
arc(z_0035_5004,r_0035_0001__Many,attrib).
arc(z_0035_5004,r_0035_0003__the_r_0035_0004__levels,r_0035_0002__of).
fof(formula,axiom,
? [R_0035_0008__EXPLODING,R_0035_0009__BARRELS,R_0035_0001__MANY,R_0035_0003__THE_R_0035_0004__LEVELS,Z_0035_5004,Z_0035_5008___STAR_,R_0035_0005__ARE_R_0035_0006__LITTERED_R_0035_0007__WITH] :
( r_0035_0001__Many(R_0035_0001__MANY)
& r_0035_0003__the_r_0035_0004__levels(R_0035_0003__THE_R_0035_0004__LEVELS)
& r_0035_0008__exploding(R_0035_0008__EXPLODING)
& z_0035_5008___star_(Z_0035_5008___STAR_)
& r_0035_0005__are_r_0035_0006__littered_r_0035_0007__with(R_0035_0005__ARE_R_0035_0006__LITTERED_R_0035_0007__WITH)
& has_arg0(R_0035_0005__ARE_R_0035_0006__LITTERED_R_0035_0007__WITH,Z_0035_5008___STAR_)
& has_arg2(R_0035_0005__ARE_R_0035_0006__LITTERED_R_0035_0007__WITH,Z_0035_5004)
& z_0035_5004(Z_0035_5004)
& has_r_0035_0002__of(Z_0035_5004,R_0035_0003__THE_R_0035_0004__LEVELS)
& has_attrib(Z_0035_5004,R_0035_0001__MANY)
& has_arg1(R_0035_0005__ARE_R_0035_0006__LITTERED_R_0035_0007__WITH,R_0035_0009__BARRELS)
& r_0035_0009__barrels(R_0035_0009__BARRELS)
& has_inv_arg0(R_0035_0009__BARRELS,R_0035_0008__EXPLODING) ) ).