TSPC 37_a_freedoom

37_a_freedoom
A single, well-timed shotgun blast aimed at a barrel can take down several enemies 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))

arc(r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast,r_0037_0002__single,attrib).
arc(r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast,r_0037_0004__well__hyphen__timed,attrib).
arc(r_0037_0007__aimed_r_0037_0008__at,r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast,inv_arg0).
arc(r_0037_0007__aimed_r_0037_0008__at,r_0037_0009__a_r_0037_0010__barrel,arg1).
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,nim).
arc(r_0037_0015__enemies,r_0037_0014__several,attrib).

fof(formula,axiom,
    ? [R_0037_0002__SINGLE,R_0037_0004__WELL__HYPHEN__TIMED,R_0037_0009__A_R_0037_0010__BARREL,R_0037_0007__AIMED_R_0037_0008__AT,R_0037_0001__A_R_0037_0005__SHOTGUN_R_0037_0006__BLAST,R_0037_0014__SEVERAL,R_0037_0015__ENEMIES,R_0037_0016__AT_ONCE,R_0037_0011__CAN_R_0037_0012__TAKE_R_0037_0013__DOWN] :
      ( r_0037_0002__single(R_0037_0002__SINGLE)
      & r_0037_0004__well__hyphen__timed(R_0037_0004__WELL__HYPHEN__TIMED)
      & r_0037_0009__a_r_0037_0010__barrel(R_0037_0009__A_R_0037_0010__BARREL)
      & r_0037_0014__several(R_0037_0014__SEVERAL)
      & r_0037_0016__at_once(R_0037_0016__AT_ONCE)
      & r_0037_0011__can_r_0037_0012__take_r_0037_0013__down(R_0037_0011__CAN_R_0037_0012__TAKE_R_0037_0013__DOWN)
      & has_nim(R_0037_0011__CAN_R_0037_0012__TAKE_R_0037_0013__DOWN,R_0037_0016__AT_ONCE)
      & has_arg1(R_0037_0011__CAN_R_0037_0012__TAKE_R_0037_0013__DOWN,R_0037_0015__ENEMIES)
      & r_0037_0015__enemies(R_0037_0015__ENEMIES)
      & has_attrib(R_0037_0015__ENEMIES,R_0037_0014__SEVERAL)
      & has_arg0(R_0037_0011__CAN_R_0037_0012__TAKE_R_0037_0013__DOWN,R_0037_0001__A_R_0037_0005__SHOTGUN_R_0037_0006__BLAST)
      & r_0037_0001__A_r_0037_0005__shotgun_r_0037_0006__blast(R_0037_0001__A_R_0037_0005__SHOTGUN_R_0037_0006__BLAST)
      & has_inv_arg0(R_0037_0001__A_R_0037_0005__SHOTGUN_R_0037_0006__BLAST,R_0037_0007__AIMED_R_0037_0008__AT)
      & r_0037_0007__aimed_r_0037_0008__at(R_0037_0007__AIMED_R_0037_0008__AT)
      & has_arg1(R_0037_0007__AIMED_R_0037_0008__AT,R_0037_0009__A_R_0037_0010__BARREL)
      & has_attrib(R_0037_0001__A_R_0037_0005__SHOTGUN_R_0037_0006__BLAST,R_0037_0004__WELL__HYPHEN__TIMED)
      & has_attrib(R_0037_0001__A_R_0037_0005__SHOTGUN_R_0037_0006__BLAST,R_0037_0002__SINGLE) ) ).