35_a_freedoom
Many of the levels are littered with exploding barrels.
arc(r_0035_0005__are, r_0035_0006__littered, scope).
arc(r_0035_0006__littered, r_0035_0009__barrels, r_0035_0007__with_clr24).
arc(r_0035_0006__littered, z_000_35_a_freedoom_17, arg0).
arc(r_0035_0006__littered, z_000_35_a_freedoom_2, arg1).
arc(r_0035_0008__exploding, r_0035_0009__barrels, arg0).
arc(z_000_35_a_freedoom_2, r_0035_0001__Many, attrib3).
arc(z_000_35_a_freedoom_2, r_0035_0003__the_r_0035_0004__levels, r_0035_0002__of).
fof(formula,axiom,
? [R_35_5_ARE_LITTERED,Z_35_A_FREEDOOM_17,Z_35_A_FREEDOOM_2,R_35_1_MANY,R_35_3_THE_LEVELS,R_35_8_EXPLODING,R_35_9_BARRELS] :
( many(R_35_1_MANY)
& the_levels(R_35_3_THE_LEVELS)
& barrels(R_35_9_BARRELS)
& are_littered(R_35_5_ARE_LITTERED,Z_35_A_FREEDOOM_17,Z_35_A_FREEDOOM_2)
& z_35_a_freedoom_2(Z_35_A_FREEDOOM_2)
& attrib3(Z_35_A_FREEDOOM_2,R_35_1_MANY)
& of(Z_35_A_FREEDOOM_2,R_35_3_THE_LEVELS)
& with_clr24(R_35_5_ARE_LITTERED,R_35_9_BARRELS)
& exploding(R_35_8_EXPLODING,R_35_9_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))