41_a_freedoom
Do it right and they'll spend more time fighting each other than fighting you, and the survivors will be significantly weakened.
arc(r_0041_0001__Do, r_0041_0002__it, arg1).
arc(r_0041_0001__Do, r_0041_0003__right, prd).
arc(r_0041_0001__Do, z_000_41_a_freedoom_1, arg0).
arc(r_0041_0004__and, r_0041_0001__Do, conj1).
arc(r_0041_0004__and, r_0041_0016__and, conj2).
arc(r_0041_0006___apos_ll, r_0041_0007__spend, scope).
arc(r_0041_0007__spend, r_0041_0005__they, arg0).
arc(r_0041_0007__spend, r_0041_0009__time, arg1).
arc(r_0041_0008__more, r_0041_0013__fighting, r_0041_0012__than).
arc(r_0041_0009__time, r_0041_0008__more, attrib27).
arc(r_0041_0010__fighting, r_0041_0009__time, arg0).
arc(r_0041_0010__fighting, z_000_41_a_freedoom_1, arg1).
arc(r_0041_0013__fighting, r_0041_0014__you, arg1).
arc(r_0041_0013__fighting, z_000_41_a_freedoom_43, arg0).
arc(r_0041_0016__and, r_0041_0006___apos_ll, conj1).
arc(r_0041_0016__and, r_0041_0019__will, conj2).
arc(r_0041_0019__will, r_0041_0020__be, scope).
arc(r_0041_0020__be, r_0041_0022__weakened, scope).
arc(r_0041_0022__weakened, r_0041_0017__the_r_0041_0018__survivors, arg1).
arc(r_0041_0022__weakened, r_0041_0021__significantly, nim68).
arc(r_0041_0022__weakened, z_000_41_a_freedoom_66, arg0).
fof(formula,axiom,
? [R_41_4_AND,R_41_1_DO,R_41_2_IT,R_41_3_RIGHT,R_41_16_AND,R_41_6__APOS_LL_SPEND,R_41_5_THEY,R_41_19_WILL_BE_WEAKENED,Z_41_A_FREEDOOM_66,R_41_17_THE_SURVIVORS,R_41_21_SIGNIFICANTLY,R_41_10_FIGHTING,R_41_9_TIME,R_41_8_MORE,R_41_13_FIGHTING,Z_41_A_FREEDOOM_43,R_41_14_YOU,Z_41_A_FREEDOOM_1] :
( it(R_41_2_IT)
& right(R_41_3_RIGHT)
& they(R_41_5_THEY)
& the_survivors(R_41_17_THE_SURVIVORS)
& significantly(R_41_21_SIGNIFICANTLY)
& you(R_41_14_YOU)
& and(R_41_4_AND)
& conj1(R_41_4_AND,R_41_1_DO)
& do(R_41_1_DO,Z_41_A_FREEDOOM_1,R_41_2_IT,R_41_3_RIGHT)
& conj2(R_41_4_AND,R_41_16_AND)
& and(R_41_16_AND)
& conj1(R_41_16_AND,R_41_6__APOS_LL_SPEND)
& _apos_ll_spend(R_41_6__APOS_LL_SPEND,R_41_5_THEY,R_41_9_TIME)
& time(R_41_9_TIME)
& attrib27(R_41_9_TIME,R_41_8_MORE)
& more(R_41_8_MORE)
& than(R_41_8_MORE,R_41_13_FIGHTING)
& fighting(R_41_13_FIGHTING,Z_41_A_FREEDOOM_43,R_41_14_YOU)
& conj2(R_41_16_AND,R_41_19_WILL_BE_WEAKENED)
& will_be_weakened(R_41_19_WILL_BE_WEAKENED,Z_41_A_FREEDOOM_66,R_41_17_THE_SURVIVORS)
& nim68(R_41_19_WILL_BE_WEAKENED,R_41_21_SIGNIFICANTLY)
& fighting(R_41_10_FIGHTING,R_41_9_TIME,Z_41_A_FREEDOOM_1) ) ).
( (IP-IMP (ILYR (ILYR (DOP;_Cn.a_ Do;{do})
(NP-OB1;{STAND} (PRO it;{it}))
(ADJP-PRD (ADJ right;{right})))
(CONJP (CONJ and;{and})
(ILYR (ILYR (ILYR (NP-SBJ;{CROWD} (PRO they;{they}))
(MD;_cat_Vi_ <apos>ll;{will})
(IP-INF-CAT (VB;_Tn_ spend;{spend})
(NP-OB1 (ADJP (ADJR more;{more})
(PP *ICH*-138))
(N time;{time})
(IP-PPL (VAG;_Tn_ fighting;{fight})
(NP-OB1 (PNX each_other;{each_other})))
(PP-EPD-138 (P-ROLE than;{than})
(IP-PPL (VAG;_Tn_ fighting;{fight})
(NP-OB1 (PRO you;{you})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(NS survivors;{survivor}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV significantly;{significantly}))
(VVN;_Tn_ weakened;{weaken})))))))))
(PUNC .))
(ID 41_a_freedoom))