37_a_freedoom
A single, well-timed shotgun blast aimed at a barrel can take down several enemies at once.
arc(r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast, r_0037_0002__single, attrib5).
arc(r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast, r_0037_0004__well__hyphen__timed, attrib10).
arc(r_0037_0007__aimed, r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast, arg0).
arc(r_0037_0007__aimed, r_0037_0009__a_r_0037_0010__barrel, r_0037_0008__at_clr23).
arc(r_0037_0011__can, r_0037_0012__take_r_0037_0013__down, scope).
arc(r_0037_0012__take_r_0037_0013__down, r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast, arg0).
arc(r_0037_0012__take_r_0037_0013__down, r_0037_0015__enemies, arg1).
arc(r_0037_0012__take_r_0037_0013__down, r_0037_0016__at_once, nim41).
arc(r_0037_0015__enemies, r_0037_0014__several, attrib36).
fof(formula,axiom,
? [R_37_7_AIMED,R_37_9_A_BARREL,R_37_11_CAN_TAKE_DOWN,R_37_1_A_SHOTGUN_BLAST,R_37_4_WELL_HYPHEN_TIMED,R_37_2_SINGLE,R_37_15_ENEMIES,R_37_14_SEVERAL,R_37_16_AT_ONCE] :
( a_barrel(R_37_9_A_BARREL)
& well_hyphen_timed(R_37_4_WELL_HYPHEN_TIMED)
& single(R_37_2_SINGLE)
& several(R_37_14_SEVERAL)
& at_once(R_37_16_AT_ONCE)
& aimed(R_37_7_AIMED,R_37_1_A_SHOTGUN_BLAST)
& a_shotgun_blast(R_37_1_A_SHOTGUN_BLAST)
& attrib10(R_37_1_A_SHOTGUN_BLAST,R_37_4_WELL_HYPHEN_TIMED)
& attrib5(R_37_1_A_SHOTGUN_BLAST,R_37_2_SINGLE)
& at_clr23(R_37_7_AIMED,R_37_9_A_BARREL)
& can_take_down(R_37_11_CAN_TAKE_DOWN,R_37_1_A_SHOTGUN_BLAST,R_37_15_ENEMIES)
& enemies(R_37_15_ENEMIES)
& attrib36(R_37_15_ENEMIES,R_37_14_SEVERAL)
& nim41(R_37_11_CAN_TAKE_DOWN,R_37_16_AT_ONCE) ) ).
( (IP-MAT (NP-SBJ (D A;{a})
(ADJP (ADJ single;{single}))
(PUNC ,)
(ADJP (ADJ well_<hyphen>_timed;{well_timed}))
(N shotgun;{shotgun})
(N blast;{blast})
(IP-PPL (VVN;_Ipr_ aimed;{aim[at]})
(PP-CLR (P-ROLE at;{at})
(NP (D a;{a})
(N barrel;{barrel})))))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_phr_Vn<=>p_ take;{take[down]})
(RP down;{down})
(NP-OB1 (ADJP (ADJ several;{several}))
(NS enemies;{enemy}))
(ADVP-NIM (ADV at_once;{at_once})))
(PUNC .))
(ID 37_a_freedoom))