10_a_planetoid
Cruisers are also dangerous, but don't have to be destroyed before you move on to the next wave.
( (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))
arc(r_0010_0002__are,r_0010_0001__Cruisers,arg0).
arc(r_0010_0002__are,r_0010_0003__also,nim).
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_0013__before,conj2).
arc(r_0010_0007__do_r_0010_0009__have,r_0010_0011__be,scope).
arc(r_0010_0008__n_apos_t,r_0010_0007__do_r_0010_0009__have,keep_scope).
arc(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_0010_5011___star_,arg0).
arc(r_0010_0013__before,r_0010_0008__n_apos_t,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__clr).
arc(r_0010_0018__the_r_0010_0020__wave,r_0010_0019__next,attrib).
fof(formula,axiom,
? [R_0010_0001__CRUISERS,R_0010_0003__ALSO,R_0010_0004__DANGEROUS,R_0010_0002__ARE,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_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_0014__you(R_0010_0014__YOU)
& r_0010_0019__next(R_0010_0019__NEXT)
& r_0010_0006__but(R_0010_0006__BUT)
& has_conj2(R_0010_0006__BUT,R_0010_0013__BEFORE)
& 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__clr(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_attrib(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_0008__N_APOS_T)
& ~ ? [Z_0010_5011___STAR_,R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0011__BE_R_0010_0012__DESTROYED] :
( z_0010_5011___star_(Z_0010_5011___STAR_)
& r_0010_0007__do_r_0010_0009__have_r_0010_0011__be_r_0010_0012__destroyed(R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0011__BE_R_0010_0012__DESTROYED)
& has_arg0(R_0010_0007__DO_R_0010_0009__HAVE_R_0010_0011__BE_R_0010_0012__DESTROYED,Z_0010_5011___STAR_)
& has_arg1(R_0010_0007__DO_R_0010_0009__HAVE_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_nim(R_0010_0002__ARE,R_0010_0003__ALSO)
& has_arg0(R_0010_0002__ARE,R_0010_0001__CRUISERS) ) ).