11_a_freedoom
Practice moving around and firing the weapon.
arc(r_0011_0001__Practice, r_0011_0004__and, arg1).
arc(r_0011_0001__Practice, z_000_11_a_freedoom_1, arg0).
arc(r_0011_0002__moving, r_0011_0003__around, clr9).
arc(r_0011_0002__moving, z_000_11_a_freedoom_1, arg0).
arc(r_0011_0004__and, r_0011_0002__moving, conj1).
arc(r_0011_0004__and, r_0011_0005__firing, conj2).
arc(r_0011_0005__firing, r_0011_0006__the_r_0011_0007__weapon, arg1).
arc(r_0011_0005__firing, z_000_11_a_freedoom_1, arg0).
fof(formula,axiom,
? [R_11_1_PRACTICE,R_11_4_AND,R_11_2_MOVING,R_11_3_AROUND,R_11_5_FIRING,Z_11_A_FREEDOOM_1,R_11_6_THE_WEAPON] :
( around(R_11_3_AROUND)
& the_weapon(R_11_6_THE_WEAPON)
& practice(R_11_1_PRACTICE,Z_11_A_FREEDOOM_1,R_11_4_AND)
& and(R_11_4_AND)
& conj1(R_11_4_AND,R_11_2_MOVING)
& moving(R_11_2_MOVING,Z_11_A_FREEDOOM_1)
& clr9(R_11_2_MOVING,R_11_3_AROUND)
& conj2(R_11_4_AND,R_11_5_FIRING)
& firing(R_11_5_FIRING,Z_11_A_FREEDOOM_1,R_11_6_THE_WEAPON) ) ).
( (IP-IMP (VB;_Tg_ Practice;{practice})
(IP-PPL-OB1 (ILYR (ILYR (VAG;_Ip_ moving;{move[around]})
(ADVP-CLR (RP around;{around})))
(CONJP (CONJ and;{and})
(ILYR (VAG;_Tn_ firing;{fire})
(NP-OB1 (D the;{the})
(N weapon;{weapon}))))))
(PUNC .))
(ID 11_a_freedoom))