Context                Previous, Next                Top


40_a_freedoom
If faced with a crowd of enemies, an effective strategy can be to stand in just the right place so that those at the back shoot those at the front.

%3 r_0040_0001__If If r_0040_0002__faced faced r_0040_0001__If->r_0040_0002__faced [restriction] r_0040_0012__can can r_0040_0001__If->r_0040_0012__can [scope] r_0040_0004__a_r_0040_0005__crowd a crowd r_0040_0002__faced->r_0040_0004__a_r_0040_0005__crowd with [clr] z_000_40_a_freedoom_5 r_0040_0002__faced->z_000_40_a_freedoom_5 [arg0] r_0040_0013__be be r_0040_0012__can->r_0040_0013__be [scope] r_0040_0007__enemies enemies r_0040_0004__a_r_0040_0005__crowd->r_0040_0007__enemies of r_0040_0009__an_r_0040_0011__strategy an strategy r_0040_0010__effective effective r_0040_0009__an_r_0040_0011__strategy->r_0040_0010__effective [attrib] r_0040_0013__be->r_0040_0009__an_r_0040_0011__strategy [arg0] r_0040_0021__so_that so that r_0040_0013__be->r_0040_0021__so_that [prd] r_0040_0014__to_r_0040_0015__stand to stand r_0040_0021__so_that->r_0040_0014__to_r_0040_0015__stand [scope] r_0040_0026__shoot shoot r_0040_0021__so_that->r_0040_0026__shoot [restriction] r_0040_0018__the_r_0040_0020__place the place r_0040_0014__to_r_0040_0015__stand->r_0040_0018__the_r_0040_0020__place in [clr] x_000_40_a_freedoom_37 __ r_0040_0014__to_r_0040_0015__stand->x_000_40_a_freedoom_37 [arg0] r_0040_0017__just just r_0040_0018__the_r_0040_0020__place->r_0040_0017__just [qual] r_0040_0019__right right r_0040_0018__the_r_0040_0020__place->r_0040_0019__right [attrib] r_0040_0022__those those r_0040_0026__shoot->r_0040_0022__those [arg0] r_0040_0027__those those r_0040_0026__shoot->r_0040_0027__those [arg1] r_0040_0024__the_r_0040_0025__back the back r_0040_0022__those->r_0040_0024__the_r_0040_0025__back at r_0040_0029__the_r_0040_0030__front the front r_0040_0027__those->r_0040_0029__the_r_0040_0030__front at 
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_clr11).
arc(r_0040_0002__faced, z_000_40_a_freedoom_5, 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, attrib27).
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_0014__to_r_0040_0015__stand, r_0040_0018__the_r_0040_0020__place, r_0040_0016__in_clr45).
arc(r_0040_0014__to_r_0040_0015__stand, x_000_40_a_freedoom_37, arg0).
arc(r_0040_0018__the_r_0040_0020__place, r_0040_0017__just, qual46).
arc(r_0040_0018__the_r_0040_0020__place, r_0040_0019__right, attrib51).
arc(r_0040_0021__so_that, r_0040_0014__to_r_0040_0015__stand, 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).


%3 r_0040_0001__If If r_0040_0002__faced faced r_0040_0001__If->r_0040_0002__faced [restriction] r_0040_0012__can_r_0040_0013__be can be r_0040_0001__If->r_0040_0012__can_r_0040_0013__be [scope] r_0040_0004__a_r_0040_0005__crowd a crowd r_0040_0002__faced->r_0040_0004__a_r_0040_0005__crowd with [clr] z_000_40_a_freedoom_5 r_0040_0002__faced->z_000_40_a_freedoom_5 [arg0] r_0040_0009__an_r_0040_0011__strategy an strategy r_0040_0012__can_r_0040_0013__be->r_0040_0009__an_r_0040_0011__strategy [arg0] r_0040_0021__so_that so that r_0040_0012__can_r_0040_0013__be->r_0040_0021__so_that [prd] r_0040_0007__enemies enemies r_0040_0004__a_r_0040_0005__crowd->r_0040_0007__enemies of r_0040_0010__effective effective r_0040_0009__an_r_0040_0011__strategy->r_0040_0010__effective [attrib] r_0040_0014__to_r_0040_0015__stand to stand r_0040_0021__so_that->r_0040_0014__to_r_0040_0015__stand [conj2] r_0040_0026__shoot shoot r_0040_0021__so_that->r_0040_0026__shoot [conj1] r_0040_0018__the_r_0040_0020__place the place r_0040_0014__to_r_0040_0015__stand->r_0040_0018__the_r_0040_0020__place in [clr] x_000_40_a_freedoom_37 __ r_0040_0014__to_r_0040_0015__stand->x_000_40_a_freedoom_37 [arg0] r_0040_0017__just just r_0040_0018__the_r_0040_0020__place->r_0040_0017__just [qual] r_0040_0019__right right r_0040_0018__the_r_0040_0020__place->r_0040_0019__right [attrib] r_0040_0022__those those r_0040_0026__shoot->r_0040_0022__those [arg0] r_0040_0027__those those r_0040_0026__shoot->r_0040_0027__those [arg1] r_0040_0024__the_r_0040_0025__back the back r_0040_0022__those->r_0040_0024__the_r_0040_0025__back at r_0040_0029__the_r_0040_0030__front the front r_0040_0027__those->r_0040_0029__the_r_0040_0030__front at 
fof(formula,axiom,
    ! [R_40_2_FACED,Z_40_A_FREEDOOM_5,R_40_4_A_CROWD,R_40_7_ENEMIES] :
      ( ( enemies(R_40_7_ENEMIES)
        & faced(R_40_2_FACED,Z_40_A_FREEDOOM_5)
        & with_clr11(R_40_2_FACED,R_40_4_A_CROWD)
        & a_crowd(R_40_4_A_CROWD)
        & of(R_40_4_A_CROWD,R_40_7_ENEMIES) )
     => ? [R_40_12_CAN_BE,R_40_9_AN_STRATEGY,R_40_10_EFFECTIVE,R_40_21_SO_THAT,R_40_26_SHOOT,R_40_22_THOSE,R_40_24_THE_BACK,R_40_27_THOSE,R_40_29_THE_FRONT,R_40_14_TO_STAND,X_40_A_FREEDOOM_37,R_40_18_THE_PLACE,R_40_19_RIGHT,R_40_17_JUST] :
          ( effective(R_40_10_EFFECTIVE)
          & the_back(R_40_24_THE_BACK)
          & the_front(R_40_29_THE_FRONT)
          & right(R_40_19_RIGHT)
          & just(R_40_17_JUST)
          & can_be(R_40_12_CAN_BE,R_40_9_AN_STRATEGY,R_40_21_SO_THAT)
          & an_strategy(R_40_9_AN_STRATEGY)
          & attrib27(R_40_9_AN_STRATEGY,R_40_10_EFFECTIVE)
          & so_that(R_40_21_SO_THAT)
          & conj1(R_40_21_SO_THAT,R_40_26_SHOOT)
          & shoot(R_40_26_SHOOT,R_40_22_THOSE,R_40_27_THOSE)
          & those(R_40_22_THOSE)
          & at(R_40_22_THOSE,R_40_24_THE_BACK)
          & those(R_40_27_THOSE)
          & at(R_40_27_THOSE,R_40_29_THE_FRONT)
          & conj2(R_40_21_SO_THAT,R_40_14_TO_STAND)
          & to_stand(R_40_14_TO_STAND,X_40_A_FREEDOOM_37)
          & in_clr45(R_40_14_TO_STAND,R_40_18_THE_PLACE)
          & the_place(R_40_18_THE_PLACE)
          & attrib51(R_40_18_THE_PLACE,R_40_19_RIGHT)
          & qual46(R_40_18_THE_PLACE,R_40_17_JUST) ) ) ).


n40_a_freedoom n40_a_freedoom_4 If n40_a_freedoom_7 faced n40_a_freedoom_10 with n40_a_freedoom_13 a n40_a_freedoom_15 crowd n40_a_freedoom_18 of n40_a_freedoom_21 enemies n40_a_freedoom_23 , n40_a_freedoom_26 an n40_a_freedoom_29 effective n40_a_freedoom_31 strategy n40_a_freedoom_33 can n40_a_freedoom_36 be n40_a_freedoom_39 to n40_a_freedoom_41 stand n40_a_freedoom_44 in n40_a_freedoom_48 just n40_a_freedoom_50 the n40_a_freedoom_53 right n40_a_freedoom_55 place n40_a_freedoom_58 so_that n40_a_freedoom_62 those n40_a_freedoom_65 at n40_a_freedoom_68 the n40_a_freedoom_70 back n40_a_freedoom_72 shoot n40_a_freedoom_75 those n40_a_freedoom_78 at n40_a_freedoom_81 the n40_a_freedoom_83 front n40_a_freedoom_85 . n40_a_freedoom_1 IP-MAT n40_a_freedoom_2 PP-SCON n40_a_freedoom_1->n40_a_freedoom_2 n40_a_freedoom_22 PUNC n40_a_freedoom_1->n40_a_freedoom_22 n40_a_freedoom_24 NP-SBJ n40_a_freedoom_1->n40_a_freedoom_24 n40_a_freedoom_32 MD;_cat_Vi_ n40_a_freedoom_1->n40_a_freedoom_32 n40_a_freedoom_34 IP-INF-CAT n40_a_freedoom_1->n40_a_freedoom_34 n40_a_freedoom_84 PUNC n40_a_freedoom_1->n40_a_freedoom_84 n40_a_freedoom_3 P-CONN n40_a_freedoom_2->n40_a_freedoom_3 n40_a_freedoom_5 IP-PPL3 n40_a_freedoom_2->n40_a_freedoom_5 n40_a_freedoom_3->n40_a_freedoom_4 n40_a_freedoom_6 VVN;_phr_Vpr_ n40_a_freedoom_5->n40_a_freedoom_6 n40_a_freedoom_8 PP-CLR n40_a_freedoom_5->n40_a_freedoom_8 n40_a_freedoom_6->n40_a_freedoom_7 n40_a_freedoom_9 P-ROLE n40_a_freedoom_8->n40_a_freedoom_9 n40_a_freedoom_11 NP n40_a_freedoom_8->n40_a_freedoom_11 n40_a_freedoom_9->n40_a_freedoom_10 n40_a_freedoom_12 D n40_a_freedoom_11->n40_a_freedoom_12 n40_a_freedoom_14 N n40_a_freedoom_11->n40_a_freedoom_14 n40_a_freedoom_16 PP n40_a_freedoom_11->n40_a_freedoom_16 n40_a_freedoom_12->n40_a_freedoom_13 n40_a_freedoom_14->n40_a_freedoom_15 n40_a_freedoom_17 P-ROLE n40_a_freedoom_16->n40_a_freedoom_17 n40_a_freedoom_19 NP n40_a_freedoom_16->n40_a_freedoom_19 n40_a_freedoom_17->n40_a_freedoom_18 n40_a_freedoom_20 NS n40_a_freedoom_19->n40_a_freedoom_20 n40_a_freedoom_20->n40_a_freedoom_21 n40_a_freedoom_22->n40_a_freedoom_23 n40_a_freedoom_25 D n40_a_freedoom_24->n40_a_freedoom_25 n40_a_freedoom_27 ADJP n40_a_freedoom_24->n40_a_freedoom_27 n40_a_freedoom_30 N n40_a_freedoom_24->n40_a_freedoom_30 n40_a_freedoom_25->n40_a_freedoom_26 n40_a_freedoom_28 ADJ n40_a_freedoom_27->n40_a_freedoom_28 n40_a_freedoom_28->n40_a_freedoom_29 n40_a_freedoom_30->n40_a_freedoom_31 n40_a_freedoom_32->n40_a_freedoom_33 n40_a_freedoom_35 BE;_equ_Vt_ n40_a_freedoom_34->n40_a_freedoom_35 n40_a_freedoom_37 IP-INF-PRD n40_a_freedoom_34->n40_a_freedoom_37 n40_a_freedoom_35->n40_a_freedoom_36 n40_a_freedoom_38 TO n40_a_freedoom_37->n40_a_freedoom_38 n40_a_freedoom_40 VB;_Ipr_ n40_a_freedoom_37->n40_a_freedoom_40 n40_a_freedoom_42 PP-CLR n40_a_freedoom_37->n40_a_freedoom_42 n40_a_freedoom_56 PP-SCON n40_a_freedoom_37->n40_a_freedoom_56 n40_a_freedoom_38->n40_a_freedoom_39 n40_a_freedoom_40->n40_a_freedoom_41 n40_a_freedoom_43 P-ROLE n40_a_freedoom_42->n40_a_freedoom_43 n40_a_freedoom_45 NP n40_a_freedoom_42->n40_a_freedoom_45 n40_a_freedoom_43->n40_a_freedoom_44 n40_a_freedoom_46 ADVP n40_a_freedoom_45->n40_a_freedoom_46 n40_a_freedoom_49 D n40_a_freedoom_45->n40_a_freedoom_49 n40_a_freedoom_51 ADJP n40_a_freedoom_45->n40_a_freedoom_51 n40_a_freedoom_54 N n40_a_freedoom_45->n40_a_freedoom_54 n40_a_freedoom_47 ADV n40_a_freedoom_46->n40_a_freedoom_47 n40_a_freedoom_47->n40_a_freedoom_48 n40_a_freedoom_49->n40_a_freedoom_50 n40_a_freedoom_52 ADJ n40_a_freedoom_51->n40_a_freedoom_52 n40_a_freedoom_52->n40_a_freedoom_53 n40_a_freedoom_54->n40_a_freedoom_55 n40_a_freedoom_57 P-CONN n40_a_freedoom_56->n40_a_freedoom_57 n40_a_freedoom_59 IP-ADV n40_a_freedoom_56->n40_a_freedoom_59 n40_a_freedoom_57->n40_a_freedoom_58 n40_a_freedoom_60 NP-SBJ n40_a_freedoom_59->n40_a_freedoom_60 n40_a_freedoom_71 VBP;_Tn_ n40_a_freedoom_59->n40_a_freedoom_71 n40_a_freedoom_73 NP-OB1 n40_a_freedoom_59->n40_a_freedoom_73 n40_a_freedoom_61 D;_nphd_ n40_a_freedoom_60->n40_a_freedoom_61 n40_a_freedoom_63 PP n40_a_freedoom_60->n40_a_freedoom_63 n40_a_freedoom_61->n40_a_freedoom_62 n40_a_freedoom_64 P-ROLE n40_a_freedoom_63->n40_a_freedoom_64 n40_a_freedoom_66 NP n40_a_freedoom_63->n40_a_freedoom_66 n40_a_freedoom_64->n40_a_freedoom_65 n40_a_freedoom_67 D n40_a_freedoom_66->n40_a_freedoom_67 n40_a_freedoom_69 N n40_a_freedoom_66->n40_a_freedoom_69 n40_a_freedoom_67->n40_a_freedoom_68 n40_a_freedoom_69->n40_a_freedoom_70 n40_a_freedoom_71->n40_a_freedoom_72 n40_a_freedoom_74 D;_nphd_ n40_a_freedoom_73->n40_a_freedoom_74 n40_a_freedoom_76 PP n40_a_freedoom_73->n40_a_freedoom_76 n40_a_freedoom_74->n40_a_freedoom_75 n40_a_freedoom_77 P-ROLE n40_a_freedoom_76->n40_a_freedoom_77 n40_a_freedoom_79 NP n40_a_freedoom_76->n40_a_freedoom_79 n40_a_freedoom_77->n40_a_freedoom_78 n40_a_freedoom_80 D n40_a_freedoom_79->n40_a_freedoom_80 n40_a_freedoom_82 N n40_a_freedoom_79->n40_a_freedoom_82 n40_a_freedoom_80->n40_a_freedoom_81 n40_a_freedoom_82->n40_a_freedoom_83 n40_a_freedoom_84->n40_a_freedoom_85 
( (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))