Context                Previous, Next                Top


27_a_freedoom
You'll know you've mastered this skill when you can easily circle around an enemy and dodge its projectiles while simultaneously keeping your weapon trained on it.

%3 r_0027_0002___apos_ll 'll r_0027_0003__know know r_0027_0002___apos_ll->r_0027_0003__know [scope] r_0027_0001__You You r_0027_0003__know->r_0027_0001__You [arg0] r_0027_0005___apos_ve 've r_0027_0003__know->r_0027_0005___apos_ve [arg1] r_0027_0006__mastered mastered r_0027_0005___apos_ve->r_0027_0006__mastered [scope] r_0027_0006__mastered->r_0027_0001__You [arg0] r_0027_0007__this_r_0027_0008__skill this skill r_0027_0006__mastered->r_0027_0007__this_r_0027_0008__skill [arg1] r_0027_0009__when when r_0027_0009__when->r_0027_0002___apos_ll [scope] r_0027_0021__while while r_0027_0009__when->r_0027_0021__while [restriction] r_0027_0011__can can r_0027_0021__while->r_0027_0011__can [scope] r_0027_0023__keeping keeping r_0027_0021__while->r_0027_0023__keeping [restriction] r_0027_0017__and and r_0027_0011__can->r_0027_0017__and [scope] r_0027_0013__circle circle r_0027_0017__and->r_0027_0013__circle [conj1] r_0027_0018__dodge dodge r_0027_0017__and->r_0027_0018__dodge [conj2] r_0027_0013__circle->r_0027_0001__You [arg0] r_0027_0012__easily easily r_0027_0013__circle->r_0027_0012__easily [nim] r_0027_0015__an_r_0027_0016__enemy an enemy r_0027_0013__circle->r_0027_0015__an_r_0027_0016__enemy around [clr] r_0027_0018__dodge->r_0027_0001__You [arg0] r_0027_0020__projectiles projectiles r_0027_0018__dodge->r_0027_0020__projectiles [arg1] r_0027_0020__projectiles->r_0027_0015__an_r_0027_0016__enemy [gen] r_0027_0023__keeping->r_0027_0001__You [arg0] r_0027_0022__simultaneously simultaneously r_0027_0023__keeping->r_0027_0022__simultaneously [nim] r_0027_0025__weapon weapon r_0027_0023__keeping->r_0027_0025__weapon [arg1] r_0027_0026__trained trained r_0027_0023__keeping->r_0027_0026__trained [prd] r_0027_0025__weapon->r_0027_0001__You [gen] r_0027_0026__trained->r_0027_0015__an_r_0027_0016__enemy on [clr] x_000_27_a_freedoom_77 __ r_0027_0026__trained->x_000_27_a_freedoom_77 [arg1] z_000_27_a_freedoom_78 r_0027_0026__trained->z_000_27_a_freedoom_78 [arg0] 
arc(r_0027_0002___apos_ll, r_0027_0003__know, scope).
arc(r_0027_0003__know, r_0027_0001__You, arg0).
arc(r_0027_0003__know, r_0027_0005___apos_ve, arg1).
arc(r_0027_0005___apos_ve, r_0027_0006__mastered, scope).
arc(r_0027_0006__mastered, r_0027_0001__You, arg0).
arc(r_0027_0006__mastered, r_0027_0007__this_r_0027_0008__skill, arg1).
arc(r_0027_0009__when, r_0027_0002___apos_ll, scope).
arc(r_0027_0009__when, r_0027_0021__while, restriction).
arc(r_0027_0011__can, r_0027_0017__and, scope).
arc(r_0027_0013__circle, r_0027_0001__You, arg0).
arc(r_0027_0013__circle, r_0027_0012__easily, nim37).
arc(r_0027_0013__circle, r_0027_0015__an_r_0027_0016__enemy, r_0027_0014__around_clr45).
arc(r_0027_0017__and, r_0027_0013__circle, conj1).
arc(r_0027_0017__and, r_0027_0018__dodge, conj2).
arc(r_0027_0018__dodge, r_0027_0001__You, arg0).
arc(r_0027_0018__dodge, r_0027_0020__projectiles, arg1).
arc(r_0027_0020__projectiles, r_0027_0015__an_r_0027_0016__enemy, gen).
arc(r_0027_0021__while, r_0027_0011__can, scope).
arc(r_0027_0021__while, r_0027_0023__keeping, restriction).
arc(r_0027_0023__keeping, r_0027_0001__You, arg0).
arc(r_0027_0023__keeping, r_0027_0022__simultaneously, nim66).
arc(r_0027_0023__keeping, r_0027_0025__weapon, arg1).
arc(r_0027_0023__keeping, r_0027_0026__trained, prd).
arc(r_0027_0025__weapon, r_0027_0001__You, gen).
arc(r_0027_0026__trained, r_0027_0015__an_r_0027_0016__enemy, r_0027_0027__on_clr85).
arc(r_0027_0026__trained, x_000_27_a_freedoom_77, arg1).
arc(r_0027_0026__trained, z_000_27_a_freedoom_78, arg0).


%3 r_0027_0002___apos_ll_r_0027_0003__know 'll know r_0027_0001__You You r_0027_0002___apos_ll_r_0027_0003__know->r_0027_0001__You [arg0] r_0027_0005___apos_ve_r_0027_0006__mastered 've mastered r_0027_0002___apos_ll_r_0027_0003__know->r_0027_0005___apos_ve_r_0027_0006__mastered [arg1] r_0027_0005___apos_ve_r_0027_0006__mastered->r_0027_0001__You [arg0] r_0027_0007__this_r_0027_0008__skill this skill r_0027_0005___apos_ve_r_0027_0006__mastered->r_0027_0007__this_r_0027_0008__skill [arg1] r_0027_0009__when when r_0027_0009__when->r_0027_0002___apos_ll_r_0027_0003__know [scope] r_0027_0021__while while r_0027_0009__when->r_0027_0021__while [restriction] r_0027_0011__can can r_0027_0021__while->r_0027_0011__can [conj2] r_0027_0023__keeping keeping r_0027_0021__while->r_0027_0023__keeping [conj1] r_0027_0017__and and r_0027_0011__can->r_0027_0017__and [keep_scope] r_0027_0013__circle circle r_0027_0017__and->r_0027_0013__circle [conj1] r_0027_0018__dodge dodge r_0027_0017__and->r_0027_0018__dodge [conj2] r_0027_0013__circle->r_0027_0001__You [arg0] r_0027_0012__easily easily r_0027_0013__circle->r_0027_0012__easily [nim] r_0027_0015__an_r_0027_0016__enemy an enemy r_0027_0013__circle->r_0027_0015__an_r_0027_0016__enemy around [clr] r_0027_0018__dodge->r_0027_0001__You [arg0] r_0027_0020__projectiles projectiles r_0027_0018__dodge->r_0027_0020__projectiles [arg1] r_0027_0020__projectiles->r_0027_0015__an_r_0027_0016__enemy [gen] r_0027_0023__keeping->r_0027_0001__You [arg0] r_0027_0022__simultaneously simultaneously r_0027_0023__keeping->r_0027_0022__simultaneously [nim] r_0027_0025__weapon weapon r_0027_0023__keeping->r_0027_0025__weapon [arg1] r_0027_0026__trained trained r_0027_0023__keeping->r_0027_0026__trained [prd] r_0027_0025__weapon->r_0027_0001__You [gen] r_0027_0026__trained->r_0027_0015__an_r_0027_0016__enemy on [clr] x_000_27_a_freedoom_77 __ r_0027_0026__trained->x_000_27_a_freedoom_77 [arg1] z_000_27_a_freedoom_78 r_0027_0026__trained->z_000_27_a_freedoom_78 [arg0] 
fof(formula,axiom,
    ! [R_27_21_WHILE,R_27_23_KEEPING,R_27_25_WEAPON,R_27_1_YOU,R_27_22_SIMULTANEOUSLY,R_27_26_TRAINED,Z_27_A_FREEDOOM_78,X_27_A_FREEDOOM_77,R_27_15_AN_ENEMY] :
      ( ( you(R_27_1_YOU)
        & simultaneously(R_27_22_SIMULTANEOUSLY)
        & an_enemy(R_27_15_AN_ENEMY)
        & while(R_27_21_WHILE)
        & conj1(R_27_21_WHILE,R_27_23_KEEPING)
        & keeping(R_27_23_KEEPING,R_27_1_YOU,R_27_25_WEAPON,R_27_26_TRAINED)
        & weapon(R_27_25_WEAPON)
        & gen(R_27_25_WEAPON,R_27_1_YOU)
        & trained(R_27_26_TRAINED,Z_27_A_FREEDOOM_78,X_27_A_FREEDOOM_77)
        & on_clr85(R_27_26_TRAINED,R_27_15_AN_ENEMY)
        & nim66(R_27_23_KEEPING,R_27_22_SIMULTANEOUSLY)
        & conj2(R_27_21_WHILE,R_27_11_CAN)
        & ~ ? [R_27_17_AND,R_27_13_CIRCLE,R_27_12_EASILY,R_27_18_DODGE,R_27_20_PROJECTILES] :
              ( easily(R_27_12_EASILY)
              & and(R_27_17_AND)
              & conj1(R_27_17_AND,R_27_13_CIRCLE)
              & circle(R_27_13_CIRCLE,R_27_1_YOU)
              & nim37(R_27_13_CIRCLE,R_27_12_EASILY)
              & around_clr45(R_27_13_CIRCLE,R_27_15_AN_ENEMY)
              & conj2(R_27_17_AND,R_27_18_DODGE)
              & dodge(R_27_18_DODGE,R_27_1_YOU,R_27_20_PROJECTILES)
              & projectiles(R_27_20_PROJECTILES)
              & gen(R_27_20_PROJECTILES,R_27_15_AN_ENEMY) ) )
     => ? [R_27_2__APOS_LL_KNOW,R_27_5__APOS_VE_MASTERED,R_27_7_THIS_SKILL] :
          ( this_skill(R_27_7_THIS_SKILL)
          & _apos_ll_know(R_27_2__APOS_LL_KNOW,R_27_1_YOU,R_27_5__APOS_VE_MASTERED)
          & _apos_ve_mastered(R_27_5__APOS_VE_MASTERED,R_27_1_YOU,R_27_7_THIS_SKILL) ) ) ).


n27_a_freedoom n27_a_freedoom_4 You n27_a_freedoom_6 'll n27_a_freedoom_9 know n27_a_freedoom_14 you n27_a_freedoom_16 've n27_a_freedoom_19 mastered n27_a_freedoom_22 this n27_a_freedoom_24 skill n27_a_freedoom_27 when n27_a_freedoom_31 you n27_a_freedoom_33 can n27_a_freedoom_39 easily n27_a_freedoom_41 circle n27_a_freedoom_44 around n27_a_freedoom_47 an n27_a_freedoom_49 enemy n27_a_freedoom_52 and n27_a_freedoom_55 dodge n27_a_freedoom_59 its n27_a_freedoom_61 projectiles n27_a_freedoom_64 while n27_a_freedoom_68 simultaneously n27_a_freedoom_70 keeping n27_a_freedoom_74 your n27_a_freedoom_76 weapon n27_a_freedoom_79 * n27_a_freedoom_81 trained n27_a_freedoom_84 on n27_a_freedoom_87 it n27_a_freedoom_89 . n27_a_freedoom_1 IP-MAT n27_a_freedoom_2 NP-SBJ n27_a_freedoom_1->n27_a_freedoom_2 n27_a_freedoom_5 MD;_cat_Vi_ n27_a_freedoom_1->n27_a_freedoom_5 n27_a_freedoom_7 IP-INF-CAT n27_a_freedoom_1->n27_a_freedoom_7 n27_a_freedoom_25 PP-SCON n27_a_freedoom_1->n27_a_freedoom_25 n27_a_freedoom_88 PUNC n27_a_freedoom_1->n27_a_freedoom_88 n27_a_freedoom_3 PRO n27_a_freedoom_2->n27_a_freedoom_3 n27_a_freedoom_3->n27_a_freedoom_4 n27_a_freedoom_5->n27_a_freedoom_6 n27_a_freedoom_8 VB;_Tf_ n27_a_freedoom_7->n27_a_freedoom_8 n27_a_freedoom_10 CP-THT-OB1 n27_a_freedoom_7->n27_a_freedoom_10 n27_a_freedoom_8->n27_a_freedoom_9 n27_a_freedoom_11 IP-SUB n27_a_freedoom_10->n27_a_freedoom_11 n27_a_freedoom_12 NP-SBJ n27_a_freedoom_11->n27_a_freedoom_12 n27_a_freedoom_15 HVP;_cat_Ve_ n27_a_freedoom_11->n27_a_freedoom_15 n27_a_freedoom_17 IP-PPL-CAT n27_a_freedoom_11->n27_a_freedoom_17 n27_a_freedoom_13 PRO n27_a_freedoom_12->n27_a_freedoom_13 n27_a_freedoom_13->n27_a_freedoom_14 n27_a_freedoom_15->n27_a_freedoom_16 n27_a_freedoom_18 VVN;_Tn_ n27_a_freedoom_17->n27_a_freedoom_18 n27_a_freedoom_20 NP-OB1 n27_a_freedoom_17->n27_a_freedoom_20 n27_a_freedoom_18->n27_a_freedoom_19 n27_a_freedoom_21 D n27_a_freedoom_20->n27_a_freedoom_21 n27_a_freedoom_23 N n27_a_freedoom_20->n27_a_freedoom_23 n27_a_freedoom_21->n27_a_freedoom_22 n27_a_freedoom_23->n27_a_freedoom_24 n27_a_freedoom_26 P-CONN n27_a_freedoom_25->n27_a_freedoom_26 n27_a_freedoom_28 IP-ADV n27_a_freedoom_25->n27_a_freedoom_28 n27_a_freedoom_26->n27_a_freedoom_27 n27_a_freedoom_29 NP-SBJ n27_a_freedoom_28->n27_a_freedoom_29 n27_a_freedoom_32 MD;_cat_Vi_ n27_a_freedoom_28->n27_a_freedoom_32 n27_a_freedoom_34 IP-INF-CAT n27_a_freedoom_28->n27_a_freedoom_34 n27_a_freedoom_62 PP-SCON n27_a_freedoom_28->n27_a_freedoom_62 n27_a_freedoom_30 PRO n27_a_freedoom_29->n27_a_freedoom_30 n27_a_freedoom_30->n27_a_freedoom_31 n27_a_freedoom_32->n27_a_freedoom_33 n27_a_freedoom_35 ILYR n27_a_freedoom_34->n27_a_freedoom_35 n27_a_freedoom_36 ILYR n27_a_freedoom_35->n27_a_freedoom_36 n27_a_freedoom_50 CONJP n27_a_freedoom_35->n27_a_freedoom_50 n27_a_freedoom_37 ADVP-NIM n27_a_freedoom_36->n27_a_freedoom_37 n27_a_freedoom_40 VB;_Ipr_ n27_a_freedoom_36->n27_a_freedoom_40 n27_a_freedoom_42 PP-CLR n27_a_freedoom_36->n27_a_freedoom_42 n27_a_freedoom_38 ADV n27_a_freedoom_37->n27_a_freedoom_38 n27_a_freedoom_38->n27_a_freedoom_39 n27_a_freedoom_40->n27_a_freedoom_41 n27_a_freedoom_43 P-ROLE n27_a_freedoom_42->n27_a_freedoom_43 n27_a_freedoom_45 NP n27_a_freedoom_42->n27_a_freedoom_45 n27_a_freedoom_43->n27_a_freedoom_44 n27_a_freedoom_46 D n27_a_freedoom_45->n27_a_freedoom_46 n27_a_freedoom_48 N n27_a_freedoom_45->n27_a_freedoom_48 n27_a_freedoom_46->n27_a_freedoom_47 n27_a_freedoom_48->n27_a_freedoom_49 n27_a_freedoom_51 CONJ n27_a_freedoom_50->n27_a_freedoom_51 n27_a_freedoom_53 ILYR n27_a_freedoom_50->n27_a_freedoom_53 n27_a_freedoom_51->n27_a_freedoom_52 n27_a_freedoom_54 VB;_Tn_ n27_a_freedoom_53->n27_a_freedoom_54 n27_a_freedoom_56 NP-OB1 n27_a_freedoom_53->n27_a_freedoom_56 n27_a_freedoom_54->n27_a_freedoom_55 n27_a_freedoom_57 NP-GEN n27_a_freedoom_56->n27_a_freedoom_57 n27_a_freedoom_60 NS n27_a_freedoom_56->n27_a_freedoom_60 n27_a_freedoom_58 PRO;_genm_ n27_a_freedoom_57->n27_a_freedoom_58 n27_a_freedoom_58->n27_a_freedoom_59 n27_a_freedoom_60->n27_a_freedoom_61 n27_a_freedoom_63 P-CONN n27_a_freedoom_62->n27_a_freedoom_63 n27_a_freedoom_65 IP-PPL n27_a_freedoom_62->n27_a_freedoom_65 n27_a_freedoom_63->n27_a_freedoom_64 n27_a_freedoom_66 ADVP-NIM n27_a_freedoom_65->n27_a_freedoom_66 n27_a_freedoom_69 VAG;_VP24A_ n27_a_freedoom_65->n27_a_freedoom_69 n27_a_freedoom_71 NP-OB1 n27_a_freedoom_65->n27_a_freedoom_71 n27_a_freedoom_77 IP-PPL-PRD n27_a_freedoom_65->n27_a_freedoom_77 n27_a_freedoom_67 ADV n27_a_freedoom_66->n27_a_freedoom_67 n27_a_freedoom_67->n27_a_freedoom_68 n27_a_freedoom_69->n27_a_freedoom_70 n27_a_freedoom_72 NP-GEN n27_a_freedoom_71->n27_a_freedoom_72 n27_a_freedoom_75 N n27_a_freedoom_71->n27_a_freedoom_75 n27_a_freedoom_73 PRO;_genm_ n27_a_freedoom_72->n27_a_freedoom_73 n27_a_freedoom_73->n27_a_freedoom_74 n27_a_freedoom_75->n27_a_freedoom_76 n27_a_freedoom_78 NP-LGS n27_a_freedoom_77->n27_a_freedoom_78 n27_a_freedoom_80 VVN;_Tn.pr_ n27_a_freedoom_77->n27_a_freedoom_80 n27_a_freedoom_82 PP-CLR n27_a_freedoom_77->n27_a_freedoom_82 n27_a_freedoom_78->n27_a_freedoom_79 n27_a_freedoom_80->n27_a_freedoom_81 n27_a_freedoom_83 P-ROLE n27_a_freedoom_82->n27_a_freedoom_83 n27_a_freedoom_85 NP n27_a_freedoom_82->n27_a_freedoom_85 n27_a_freedoom_83->n27_a_freedoom_84 n27_a_freedoom_86 PRO n27_a_freedoom_85->n27_a_freedoom_86 n27_a_freedoom_86->n27_a_freedoom_87 n27_a_freedoom_88->n27_a_freedoom_89 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_Tf_ know;{know})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                                          (HVP;_cat_Ve_ <apos>ve;{have})
                                          (IP-PPL-CAT (VVN;_Tn_ mastered;{master})
                                                      (NP-OB1;{SIDESTEPPING} (D this;{this})
                                                                             (N skill;{skill}))))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (MD;_cat_Vi_ can;{can})
                           (IP-INF-CAT (ILYR (ILYR (ADVP-NIM (ADV easily;{easily}))
                                                   (VB;_Ipr_ circle;{circle[around]})
                                                   (PP-CLR (P-ROLE around;{around})
                                                           (NP;{ENEMY} (D an;{an})
                                                                       (N enemy;{enemy}))))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (VB;_Tn_ dodge;{dodge})
                                                          (NP-OB1 (NP-GEN;{ENEMY} (PRO;_genm_ its;{its}))
                                                                  (NS projectiles;{projectile}))))))
                           (PP-SCON (P-CONN while;{while})
                                    (IP-PPL (ADVP-NIM (ADV simultaneously;{simultaneously}))
                                            (VAG;_VP24A_ keeping;{keep})
                                            (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                    (N weapon;{weapon}))
                                            (IP-PPL-PRD (NP-LGS *)
                                                        (VVN;_Tn.pr_ trained;{train[on]})
                                                        (PP-CLR (P-ROLE on;{on})
                                                                (NP;{ENEMY} (PRO it;{it}))))))))
          (PUNC .))
  (ID 27_a_freedoom))