( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-PPL3 (VVN;_phr_Vpr_ faced;{face[with]})
                            (PP-CLR (P-ROLE with;{with})
                                    (NP;{CROWD} (D a;{a})
                                                (N crowd;{crowd})
                                                (PP (P-ROLE of;{of})
                                                    (NP (NS enemies;{enemy})))))))
          (PUNC ,)
          (NP-SBJ (D an;{an})
                  (ADJP (ADJ effective;{effective}))
                  (N strategy;{strategy}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_equ_Vt_ be;{be})
                      (IP-INF-PRD;{STAND} (TO to;{to})
                                          (VB;_Ipr_ stand;{stand[in]})
                                          (PP-CLR (P-ROLE in;{in})
                                                  (NP (ADVP (ADV just;{just}))
                                                      (D the;{the})
                                                      (ADJP (ADJ right;{right}))
                                                      (N place;{place})))
                                          (PP-SCON (P-CONN so_that;{so_that})
                                                   (IP-ADV (NP-SBJ (D;_nphd_ those;{those})
                                                                   (PP (P-ROLE at;{at})
                                                                       (NP (D the;{the})
                                                                           (N back;{back}))))
                                                           (VBP;_Tn_ shoot;{shoot})
                                                           (NP-OB1 (D;_nphd_ those;{those})
                                                                   (PP (P-ROLE at;{at})
                                                                       (NP (D the;{the})
                                                                           (N front;{front}))))))))
          (PUNC .))
  (ID 40_a_freedoom))

arc(r_0040_0001__If,r_0040_0002__faced,restriction).
arc(r_0040_0001__If,r_0040_0012__can,scope).
arc(r_0040_0002__faced,r_0040_0004__a_r_0040_0005__crowd,r_0040_0003__with__clr).
arc(r_0040_0002__faced,z_0040_5003,arg0).
arc(r_0040_0004__a_r_0040_0005__crowd,r_0040_0007__enemies,r_0040_0006__of).
arc(r_0040_0009__an_r_0040_0011__strategy,r_0040_0010__effective,attrib).
arc(r_0040_0012__can,r_0040_0013__be,scope).
arc(r_0040_0013__be,r_0040_0009__an_r_0040_0011__strategy,arg0).
arc(r_0040_0013__be,r_0040_0021__so_that,prd).
arc(r_0040_0015__stand_r_0040_0016__in,r_0040_0018__the_r_0040_0020__place,arg1).
arc(r_0040_0015__stand_r_0040_0016__in,z_0040_5012,arg0).
arc(r_0040_0018__the_r_0040_0020__place,r_0040_0017__just,qual).
arc(r_0040_0018__the_r_0040_0020__place,r_0040_0019__right,attrib).
arc(r_0040_0021__so_that,r_0040_0015__stand_r_0040_0016__in,scope).
arc(r_0040_0021__so_that,r_0040_0026__shoot,restriction).
arc(r_0040_0022__those,r_0040_0024__the_r_0040_0025__back,r_0040_0023__at).
arc(r_0040_0026__shoot,r_0040_0022__those,arg0).
arc(r_0040_0026__shoot,r_0040_0027__those,arg1).
arc(r_0040_0027__those,r_0040_0029__the_r_0040_0030__front,r_0040_0028__at).

fof(formula,axiom,
    ! [R_0040_0002__FACED,R_0040_0007__ENEMIES,R_0040_0004__A_R_0040_0005__CROWD,Z_0040_5003] :
      ( ( r_0040_0007__enemies(R_0040_0007__ENEMIES)
        & z_0040_5003(Z_0040_5003)
        & r_0040_0002__faced(R_0040_0002__FACED)
        & has_arg0(R_0040_0002__FACED,Z_0040_5003)
        & has_r_0040_0003__with__clr(R_0040_0002__FACED,R_0040_0004__A_R_0040_0005__CROWD)
        & r_0040_0004__a_r_0040_0005__crowd(R_0040_0004__A_R_0040_0005__CROWD)
        & has_r_0040_0006__of(R_0040_0004__A_R_0040_0005__CROWD,R_0040_0007__ENEMIES) )
     => ? [R_0040_0010__EFFECTIVE,R_0040_0009__AN_R_0040_0011__STRATEGY,R_0040_0017__JUST,R_0040_0019__RIGHT,R_0040_0018__THE_R_0040_0020__PLACE,Z_0040_5012,R_0040_0015__STAND_R_0040_0016__IN,R_0040_0024__THE_R_0040_0025__BACK,R_0040_0022__THOSE,R_0040_0029__THE_R_0040_0030__FRONT,R_0040_0027__THOSE,R_0040_0026__SHOOT,R_0040_0021__SO_THAT,R_0040_0012__CAN_R_0040_0013__BE] :
          ( r_0040_0010__effective(R_0040_0010__EFFECTIVE)
          & r_0040_0017__just(R_0040_0017__JUST)
          & r_0040_0019__right(R_0040_0019__RIGHT)
          & r_0040_0024__the_r_0040_0025__back(R_0040_0024__THE_R_0040_0025__BACK)
          & r_0040_0029__the_r_0040_0030__front(R_0040_0029__THE_R_0040_0030__FRONT)
          & z_0040_5012(Z_0040_5012)
          & r_0040_0012__can_r_0040_0013__be(R_0040_0012__CAN_R_0040_0013__BE)
          & has_prd(R_0040_0012__CAN_R_0040_0013__BE,R_0040_0021__SO_THAT)
          & r_0040_0021__so_that(R_0040_0021__SO_THAT)
          & has_conj1(R_0040_0021__SO_THAT,R_0040_0026__SHOOT)
          & r_0040_0026__shoot(R_0040_0026__SHOOT)
          & has_arg1(R_0040_0026__SHOOT,R_0040_0027__THOSE)
          & r_0040_0027__those(R_0040_0027__THOSE)
          & has_r_0040_0028__at(R_0040_0027__THOSE,R_0040_0029__THE_R_0040_0030__FRONT)
          & has_arg0(R_0040_0026__SHOOT,R_0040_0022__THOSE)
          & r_0040_0022__those(R_0040_0022__THOSE)
          & has_r_0040_0023__at(R_0040_0022__THOSE,R_0040_0024__THE_R_0040_0025__BACK)
          & has_conj2(R_0040_0021__SO_THAT,R_0040_0015__STAND_R_0040_0016__IN)
          & r_0040_0015__stand_r_0040_0016__in(R_0040_0015__STAND_R_0040_0016__IN)
          & has_arg0(R_0040_0015__STAND_R_0040_0016__IN,Z_0040_5012)
          & has_arg1(R_0040_0015__STAND_R_0040_0016__IN,R_0040_0018__THE_R_0040_0020__PLACE)
          & r_0040_0018__the_r_0040_0020__place(R_0040_0018__THE_R_0040_0020__PLACE)
          & has_attrib(R_0040_0018__THE_R_0040_0020__PLACE,R_0040_0019__RIGHT)
          & has_qual(R_0040_0018__THE_R_0040_0020__PLACE,R_0040_0017__JUST)
          & has_arg0(R_0040_0012__CAN_R_0040_0013__BE,R_0040_0009__AN_R_0040_0011__STRATEGY)
          & r_0040_0009__an_r_0040_0011__strategy(R_0040_0009__AN_R_0040_0011__STRATEGY)
          & has_attrib(R_0040_0009__AN_R_0040_0011__STRATEGY,R_0040_0010__EFFECTIVE) ) ) ).