10_a_planetoid
Cruisers are also dangerous, but don't have to be destroyed before you move on to the next wave.
arc(r_0010_0002__are, r_0010_0001__Cruisers, arg0).
arc(r_0010_0002__are, r_0010_0003__also, nim9).
arc(r_0010_0002__are, r_0010_0004__dangerous, prd).
arc(r_0010_0006__but, r_0010_0002__are, conj1).
arc(r_0010_0006__but, r_0010_0008__n_apos_t, conj2).
arc(r_0010_0007__do_r_0010_0009__have, r_0010_0010__to_r_0010_0011__be, scope).
arc(r_0010_0008__n_apos_t, r_0010_0013__before, keep_scope).
arc(r_0010_0010__to_r_0010_0011__be, r_0010_0012__destroyed, scope).
arc(r_0010_0012__destroyed, r_0010_0001__Cruisers, arg1).
arc(r_0010_0012__destroyed, z_000_10_a_planetoid_33, arg0).
arc(r_0010_0013__before, r_0010_0007__do_r_0010_0009__have, scope).
arc(r_0010_0013__before, r_0010_0015__move_r_0010_0016__on, restriction).
arc(r_0010_0015__move_r_0010_0016__on, r_0010_0014__you, arg0).
arc(r_0010_0015__move_r_0010_0016__on, r_0010_0018__the_r_0010_0020__wave, r_0010_0017__to_clr51).
arc(r_0010_0018__the_r_0010_0020__wave, r_0010_0019__next, attrib54).
fof(formula,axiom,
? [R_0010_0001__CRUISERS,R_0010_0003__ALSO,R_0010_0004__DANGEROUS,R_0010_0002__ARE,R_0010_0006__BUT] :
( r_0010_0001__Cruisers(R_0010_0001__CRUISERS)
& r_0010_0003__also(R_0010_0003__ALSO)
& r_0010_0004__dangerous(R_0010_0004__DANGEROUS)
& r_0010_0006__but(R_0010_0006__BUT)
& has_conj2(R_0010_0006__BUT,R_0010_0008__N_APOS_T)
& ~ ? [Z_000_10_A_PLANETOID_33,R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0010__TO_R_0010_0011__BE_R_0010_0012__DESTROYED,R_0010_0014__YOU,R_0010_0019__NEXT,R_0010_0018__THE_R_0010_0020__WAVE,R_0010_0015__MOVE_R_0010_0016__ON,R_0010_0013__BEFORE] :
( r_0010_0014__you(R_0010_0014__YOU)
& r_0010_0019__next(R_0010_0019__NEXT)
& z_000_10_a_planetoid_33(Z_000_10_A_PLANETOID_33)
& r_0010_0013__before(R_0010_0013__BEFORE)
& has_conj1(R_0010_0013__BEFORE,R_0010_0015__MOVE_R_0010_0016__ON)
& r_0010_0015__move_r_0010_0016__on(R_0010_0015__MOVE_R_0010_0016__ON)
& has_r_0010_0017__to_clr51(R_0010_0015__MOVE_R_0010_0016__ON,R_0010_0018__THE_R_0010_0020__WAVE)
& r_0010_0018__the_r_0010_0020__wave(R_0010_0018__THE_R_0010_0020__WAVE)
& has_attrib54(R_0010_0018__THE_R_0010_0020__WAVE,R_0010_0019__NEXT)
& has_arg0(R_0010_0015__MOVE_R_0010_0016__ON,R_0010_0014__YOU)
& has_conj2(R_0010_0013__BEFORE,R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0010__TO_R_0010_0011__BE_R_0010_0012__DESTROYED)
& r_0010_0007__do_r_0010_0009__have_r_0010_0010__to_r_0010_0011__be_r_0010_0012__destroyed(R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0010__TO_R_0010_0011__BE_R_0010_0012__DESTROYED)
& has_arg0(R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0010__TO_R_0010_0011__BE_R_0010_0012__DESTROYED,Z_000_10_A_PLANETOID_33)
& has_arg1(R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0010__TO_R_0010_0011__BE_R_0010_0012__DESTROYED,R_0010_0001__CRUISERS) )
& has_conj1(R_0010_0006__BUT,R_0010_0002__ARE)
& r_0010_0002__are(R_0010_0002__ARE)
& has_prd(R_0010_0002__ARE,R_0010_0004__DANGEROUS)
& has_nim9(R_0010_0002__ARE,R_0010_0003__ALSO)
& has_arg0(R_0010_0002__ARE,R_0010_0001__CRUISERS) ) ).
( (IP-MAT (NP-SBJ (NS Cruisers;{cruiser}))
(ILYR (ILYR (BEP;_La_ are;{be})
(ADVP-NIM (ADV also;{also}))
(ADJP-PRD (ADJ dangerous;{dangerous})))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (DOP do;{do})
(NEG;_clitic_ n<apos>t;{not})
(HV;_cat_Vt_ have;{have})
(IP-INF-CAT (TO to;{to})
(BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ destroyed;{destroy})))
(PP-SCON (P-CONN before;{before})
(IP-ADV (NP-SBJ (PRO you;{you}))
(VBP;_phr_Vp.pr_ move;{move[on,to]})
(RP on;{on})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(ADJP (ADJ next;{next}))
(N wave;{wave}))))))))
(PUNC .))
(ID 10_a_planetoid))