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_0041_0002__IT,R_0041_0003__RIGHT,Z_000_41_A_FREEDOOM_1,R_0041_0001__DO,R_0041_0005__THEY,R_0041_0014__YOU,Z_000_41_A_FREEDOOM_43,R_0041_0013__FIGHTING,R_0041_0008__MORE,R_0041_0009__TIME,R_0041_0006___APOS_LL_R_0041_0007__SPEND,R_0041_0017__THE_R_0041_0018__SURVIVORS,R_0041_0021__SIGNIFICANTLY,Z_000_41_A_FREEDOOM_66,R_0041_0019__WILL_R_0041_0020__BE_R_0041_0022__WEAKENED,R_0041_0016__AND,R_0041_0004__AND,R_0041_0010__FIGHTING] :
( r_0041_0002__it(R_0041_0002__IT)
& r_0041_0003__right(R_0041_0003__RIGHT)
& r_0041_0005__they(R_0041_0005__THEY)
& r_0041_0014__you(R_0041_0014__YOU)
& r_0041_0017__the_r_0041_0018__survivors(R_0041_0017__THE_R_0041_0018__SURVIVORS)
& r_0041_0021__significantly(R_0041_0021__SIGNIFICANTLY)
& z_000_41_a_freedoom_1(Z_000_41_A_FREEDOOM_1)
& z_000_41_a_freedoom_43(Z_000_41_A_FREEDOOM_43)
& z_000_41_a_freedoom_66(Z_000_41_A_FREEDOOM_66)
& r_0041_0010__fighting(R_0041_0010__FIGHTING)
& has_arg1(R_0041_0010__FIGHTING,Z_000_41_A_FREEDOOM_1)
& has_arg0(R_0041_0010__FIGHTING,R_0041_0009__TIME)
& r_0041_0009__time(R_0041_0009__TIME)
& has_attrib27(R_0041_0009__TIME,R_0041_0008__MORE)
& r_0041_0008__more(R_0041_0008__MORE)
& has_r_0041_0012__than(R_0041_0008__MORE,R_0041_0013__FIGHTING)
& r_0041_0013__fighting(R_0041_0013__FIGHTING)
& has_arg0(R_0041_0013__FIGHTING,Z_000_41_A_FREEDOOM_43)
& has_arg1(R_0041_0013__FIGHTING,R_0041_0014__YOU)
& r_0041_0004__and(R_0041_0004__AND)
& has_conj2(R_0041_0004__AND,R_0041_0016__AND)
& r_0041_0016__and(R_0041_0016__AND)
& has_conj2(R_0041_0016__AND,R_0041_0019__WILL_R_0041_0020__BE_R_0041_0022__WEAKENED)
& r_0041_0019__will_r_0041_0020__be_r_0041_0022__weakened(R_0041_0019__WILL_R_0041_0020__BE_R_0041_0022__WEAKENED)
& has_arg0(R_0041_0019__WILL_R_0041_0020__BE_R_0041_0022__WEAKENED,Z_000_41_A_FREEDOOM_66)
& has_nim68(R_0041_0019__WILL_R_0041_0020__BE_R_0041_0022__WEAKENED,R_0041_0021__SIGNIFICANTLY)
& has_arg1(R_0041_0019__WILL_R_0041_0020__BE_R_0041_0022__WEAKENED,R_0041_0017__THE_R_0041_0018__SURVIVORS)
& has_conj1(R_0041_0016__AND,R_0041_0006___APOS_LL_R_0041_0007__SPEND)
& r_0041_0006___apos_ll_r_0041_0007__spend(R_0041_0006___APOS_LL_R_0041_0007__SPEND)
& has_arg1(R_0041_0006___APOS_LL_R_0041_0007__SPEND,R_0041_0009__TIME)
& has_arg0(R_0041_0006___APOS_LL_R_0041_0007__SPEND,R_0041_0005__THEY)
& has_conj1(R_0041_0004__AND,R_0041_0001__DO)
& r_0041_0001__Do(R_0041_0001__DO)
& has_arg0(R_0041_0001__DO,Z_000_41_A_FREEDOOM_1)
& has_prd(R_0041_0001__DO,R_0041_0003__RIGHT)
& has_arg1(R_0041_0001__DO,R_0041_0002__IT) ) ).
( (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))