Context                Previous, Next                Top


10_a_planetoid
Cruisers are also dangerous, but don't have to be destroyed before you move on to the next wave.

%3 r_0010_0002__are are r_0010_0001__Cruisers Cruisers r_0010_0002__are->r_0010_0001__Cruisers [arg0] r_0010_0003__also also r_0010_0002__are->r_0010_0003__also [nim] r_0010_0004__dangerous dangerous r_0010_0002__are->r_0010_0004__dangerous [prd] r_0010_0006__but but r_0010_0006__but->r_0010_0002__are [conj1] r_0010_0008__n_apos_t n't r_0010_0006__but->r_0010_0008__n_apos_t [conj2] r_0010_0013__before before r_0010_0008__n_apos_t->r_0010_0013__before [keep_scope] r_0010_0007__do_r_0010_0009__have do have r_0010_0010__to_r_0010_0011__be to be r_0010_0007__do_r_0010_0009__have->r_0010_0010__to_r_0010_0011__be [scope] r_0010_0012__destroyed destroyed r_0010_0010__to_r_0010_0011__be->r_0010_0012__destroyed [scope] r_0010_0013__before->r_0010_0007__do_r_0010_0009__have [scope] r_0010_0015__move_r_0010_0016__on move on r_0010_0013__before->r_0010_0015__move_r_0010_0016__on [restriction] r_0010_0012__destroyed->r_0010_0001__Cruisers [arg1] z_000_10_a_planetoid_33 r_0010_0012__destroyed->z_000_10_a_planetoid_33 [arg0] r_0010_0014__you you r_0010_0015__move_r_0010_0016__on->r_0010_0014__you [arg0] r_0010_0018__the_r_0010_0020__wave the wave r_0010_0015__move_r_0010_0016__on->r_0010_0018__the_r_0010_0020__wave to [clr] r_0010_0019__next next r_0010_0018__the_r_0010_0020__wave->r_0010_0019__next [attrib] 
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).


%3 r_0010_0018__the_r_0010_0020__wave the wave r_0010_0019__next next r_0010_0018__the_r_0010_0020__wave->r_0010_0019__next [attrib] r_0010_0015__move_r_0010_0016__on move on r_0010_0015__move_r_0010_0016__on->r_0010_0018__the_r_0010_0020__wave to [clr] r_0010_0014__you you r_0010_0015__move_r_0010_0016__on->r_0010_0014__you [arg0] r_0010_0013__before before r_0010_0013__before->r_0010_0015__move_r_0010_0016__on [conj1] r_0010_0007__do_r_0010_0009__have_r_0010_0010__to_r_0010_0011__be_r_0010_0012__destroyed do have to be destroyed r_0010_0013__before->r_0010_0007__do_r_0010_0009__have_r_0010_0010__to_r_0010_0011__be_r_0010_0012__destroyed [conj2] 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->z_000_10_a_planetoid_33 [arg0] r_0010_0001__Cruisers Cruisers r_0010_0007__do_r_0010_0009__have_r_0010_0010__to_r_0010_0011__be_r_0010_0012__destroyed->r_0010_0001__Cruisers [arg1] r_0010_0008__n_apos_t n't r_0010_0008__n_apos_t->r_0010_0013__before [keep_scope] r_0010_0006__but but r_0010_0006__but->r_0010_0008__n_apos_t [conj2] r_0010_0002__are are r_0010_0006__but->r_0010_0002__are [conj1] r_0010_0002__are->r_0010_0001__Cruisers [arg0] r_0010_0004__dangerous dangerous r_0010_0002__are->r_0010_0004__dangerous [prd] r_0010_0003__also also r_0010_0002__are->r_0010_0003__also [nim] 
fof(formula,axiom,
    ? [R_10_6_BUT,R_10_2_ARE,R_10_1_CRUISERS,R_10_3_ALSO,R_10_4_DANGEROUS] :
      ( cruisers(R_10_1_CRUISERS)
      & also(R_10_3_ALSO)
      & dangerous(R_10_4_DANGEROUS)
      & but(R_10_6_BUT)
      & conj1(R_10_6_BUT,R_10_2_ARE)
      & are(R_10_2_ARE,R_10_1_CRUISERS,R_10_4_DANGEROUS)
      & nim9(R_10_2_ARE,R_10_3_ALSO)
      & conj2(R_10_6_BUT,R_10_8_N_APOS_T)
      & ~ ? [R_10_13_BEFORE,R_10_15_MOVE_ON,R_10_14_YOU,R_10_18_THE_WAVE,R_10_19_NEXT,R_10_7_DO_HAVE_TO_BE_DESTROYED,Z_10_A_PLANETOID_33] :
            ( you(R_10_14_YOU)
            & next(R_10_19_NEXT)
            & before(R_10_13_BEFORE)
            & conj1(R_10_13_BEFORE,R_10_15_MOVE_ON)
            & move_on(R_10_15_MOVE_ON,R_10_14_YOU)
            & to_clr51(R_10_15_MOVE_ON,R_10_18_THE_WAVE)
            & the_wave(R_10_18_THE_WAVE)
            & attrib54(R_10_18_THE_WAVE,R_10_19_NEXT)
            & conj2(R_10_13_BEFORE,R_10_7_DO_HAVE_TO_BE_DESTROYED)
            & do_have_to_be_destroyed(R_10_7_DO_HAVE_TO_BE_DESTROYED,Z_10_A_PLANETOID_33,R_10_1_CRUISERS) ) ) ).


n10_a_planetoid n10_a_planetoid__1_1_1_1 Cruisers n10_a_planetoid__1_2_1_1_1 are n10_a_planetoid__1_2_1_2_1_1 also n10_a_planetoid__1_2_1_3_1_1 dangerous n10_a_planetoid__1_2_2_1 , n10_a_planetoid__1_2_3_1_1 but n10_a_planetoid__1_2_3_2_1_1 do n10_a_planetoid__1_2_3_2_2_1 n't n10_a_planetoid__1_2_3_2_3_1 have n10_a_planetoid__1_2_3_2_4_1_1 to n10_a_planetoid__1_2_3_2_4_2_1 be n10_a_planetoid__1_2_3_2_4_3_1_1 * n10_a_planetoid__1_2_3_2_4_3_2_1 destroyed n10_a_planetoid__1_2_3_2_5_1_1 before n10_a_planetoid__1_2_3_2_5_2_1_1_1 you n10_a_planetoid__1_2_3_2_5_2_2_1 move n10_a_planetoid__1_2_3_2_5_2_3_1 on n10_a_planetoid__1_2_3_2_5_2_4_1_1 to n10_a_planetoid__1_2_3_2_5_2_4_2_1_1 the n10_a_planetoid__1_2_3_2_5_2_4_2_2_1_1 next n10_a_planetoid__1_2_3_2_5_2_4_2_3_1 wave n10_a_planetoid__1_3_1 . n10_a_planetoid__1 IP-MAT n10_a_planetoid__1_1 NP-SBJ n10_a_planetoid__1->n10_a_planetoid__1_1 n10_a_planetoid__1_2 ILYR n10_a_planetoid__1->n10_a_planetoid__1_2 n10_a_planetoid__1_3 PUNC n10_a_planetoid__1->n10_a_planetoid__1_3 n10_a_planetoid__1_1_1 NS n10_a_planetoid__1_1->n10_a_planetoid__1_1_1 n10_a_planetoid__1_1_1->n10_a_planetoid__1_1_1_1 n10_a_planetoid__1_2_1 ILYR n10_a_planetoid__1_2->n10_a_planetoid__1_2_1 n10_a_planetoid__1_2_2 PUNC n10_a_planetoid__1_2->n10_a_planetoid__1_2_2 n10_a_planetoid__1_2_3 CONJP n10_a_planetoid__1_2->n10_a_planetoid__1_2_3 n10_a_planetoid__1_2_1_1 BEP;_La_ n10_a_planetoid__1_2_1->n10_a_planetoid__1_2_1_1 n10_a_planetoid__1_2_1_2 ADVP-NIM n10_a_planetoid__1_2_1->n10_a_planetoid__1_2_1_2 n10_a_planetoid__1_2_1_3 ADJP-PRD n10_a_planetoid__1_2_1->n10_a_planetoid__1_2_1_3 n10_a_planetoid__1_2_1_1->n10_a_planetoid__1_2_1_1_1 n10_a_planetoid__1_2_1_2_1 ADV n10_a_planetoid__1_2_1_2->n10_a_planetoid__1_2_1_2_1 n10_a_planetoid__1_2_1_2_1->n10_a_planetoid__1_2_1_2_1_1 n10_a_planetoid__1_2_1_3_1 ADJ n10_a_planetoid__1_2_1_3->n10_a_planetoid__1_2_1_3_1 n10_a_planetoid__1_2_1_3_1->n10_a_planetoid__1_2_1_3_1_1 n10_a_planetoid__1_2_2->n10_a_planetoid__1_2_2_1 n10_a_planetoid__1_2_3_1 CONJ n10_a_planetoid__1_2_3->n10_a_planetoid__1_2_3_1 n10_a_planetoid__1_2_3_2 ILYR n10_a_planetoid__1_2_3->n10_a_planetoid__1_2_3_2 n10_a_planetoid__1_2_3_1->n10_a_planetoid__1_2_3_1_1 n10_a_planetoid__1_2_3_2_1 DOP n10_a_planetoid__1_2_3_2->n10_a_planetoid__1_2_3_2_1 n10_a_planetoid__1_2_3_2_2 NEG;_clitic_ n10_a_planetoid__1_2_3_2->n10_a_planetoid__1_2_3_2_2 n10_a_planetoid__1_2_3_2_3 HV;_cat_Vt_ n10_a_planetoid__1_2_3_2->n10_a_planetoid__1_2_3_2_3 n10_a_planetoid__1_2_3_2_4 IP-INF-CAT n10_a_planetoid__1_2_3_2->n10_a_planetoid__1_2_3_2_4 n10_a_planetoid__1_2_3_2_5 PP-SCON n10_a_planetoid__1_2_3_2->n10_a_planetoid__1_2_3_2_5 n10_a_planetoid__1_2_3_2_1->n10_a_planetoid__1_2_3_2_1_1 n10_a_planetoid__1_2_3_2_2->n10_a_planetoid__1_2_3_2_2_1 n10_a_planetoid__1_2_3_2_3->n10_a_planetoid__1_2_3_2_3_1 n10_a_planetoid__1_2_3_2_4_1 TO n10_a_planetoid__1_2_3_2_4->n10_a_planetoid__1_2_3_2_4_1 n10_a_planetoid__1_2_3_2_4_2 BE;_cat_VePASS_ n10_a_planetoid__1_2_3_2_4->n10_a_planetoid__1_2_3_2_4_2 n10_a_planetoid__1_2_3_2_4_3 IP-PPL-CAT n10_a_planetoid__1_2_3_2_4->n10_a_planetoid__1_2_3_2_4_3 n10_a_planetoid__1_2_3_2_4_1->n10_a_planetoid__1_2_3_2_4_1_1 n10_a_planetoid__1_2_3_2_4_2->n10_a_planetoid__1_2_3_2_4_2_1 n10_a_planetoid__1_2_3_2_4_3_1 NP-LGS n10_a_planetoid__1_2_3_2_4_3->n10_a_planetoid__1_2_3_2_4_3_1 n10_a_planetoid__1_2_3_2_4_3_2 VVN;_Tn_ n10_a_planetoid__1_2_3_2_4_3->n10_a_planetoid__1_2_3_2_4_3_2 n10_a_planetoid__1_2_3_2_4_3_1->n10_a_planetoid__1_2_3_2_4_3_1_1 n10_a_planetoid__1_2_3_2_4_3_2->n10_a_planetoid__1_2_3_2_4_3_2_1 n10_a_planetoid__1_2_3_2_5_1 P-CONN n10_a_planetoid__1_2_3_2_5->n10_a_planetoid__1_2_3_2_5_1 n10_a_planetoid__1_2_3_2_5_2 IP-ADV n10_a_planetoid__1_2_3_2_5->n10_a_planetoid__1_2_3_2_5_2 n10_a_planetoid__1_2_3_2_5_1->n10_a_planetoid__1_2_3_2_5_1_1 n10_a_planetoid__1_2_3_2_5_2_1 NP-SBJ n10_a_planetoid__1_2_3_2_5_2->n10_a_planetoid__1_2_3_2_5_2_1 n10_a_planetoid__1_2_3_2_5_2_2 VBP;_phr_Vp.pr_ n10_a_planetoid__1_2_3_2_5_2->n10_a_planetoid__1_2_3_2_5_2_2 n10_a_planetoid__1_2_3_2_5_2_3 RP n10_a_planetoid__1_2_3_2_5_2->n10_a_planetoid__1_2_3_2_5_2_3 n10_a_planetoid__1_2_3_2_5_2_4 PP-CLR n10_a_planetoid__1_2_3_2_5_2->n10_a_planetoid__1_2_3_2_5_2_4 n10_a_planetoid__1_2_3_2_5_2_1_1 PRO n10_a_planetoid__1_2_3_2_5_2_1->n10_a_planetoid__1_2_3_2_5_2_1_1 n10_a_planetoid__1_2_3_2_5_2_1_1->n10_a_planetoid__1_2_3_2_5_2_1_1_1 n10_a_planetoid__1_2_3_2_5_2_2->n10_a_planetoid__1_2_3_2_5_2_2_1 n10_a_planetoid__1_2_3_2_5_2_3->n10_a_planetoid__1_2_3_2_5_2_3_1 n10_a_planetoid__1_2_3_2_5_2_4_1 P-ROLE n10_a_planetoid__1_2_3_2_5_2_4->n10_a_planetoid__1_2_3_2_5_2_4_1 n10_a_planetoid__1_2_3_2_5_2_4_2 NP n10_a_planetoid__1_2_3_2_5_2_4->n10_a_planetoid__1_2_3_2_5_2_4_2 n10_a_planetoid__1_2_3_2_5_2_4_1->n10_a_planetoid__1_2_3_2_5_2_4_1_1 n10_a_planetoid__1_2_3_2_5_2_4_2_1 D n10_a_planetoid__1_2_3_2_5_2_4_2->n10_a_planetoid__1_2_3_2_5_2_4_2_1 n10_a_planetoid__1_2_3_2_5_2_4_2_2 ADJP n10_a_planetoid__1_2_3_2_5_2_4_2->n10_a_planetoid__1_2_3_2_5_2_4_2_2 n10_a_planetoid__1_2_3_2_5_2_4_2_3 N n10_a_planetoid__1_2_3_2_5_2_4_2->n10_a_planetoid__1_2_3_2_5_2_4_2_3 n10_a_planetoid__1_2_3_2_5_2_4_2_1->n10_a_planetoid__1_2_3_2_5_2_4_2_1_1 n10_a_planetoid__1_2_3_2_5_2_4_2_2_1 ADJ n10_a_planetoid__1_2_3_2_5_2_4_2_2->n10_a_planetoid__1_2_3_2_5_2_4_2_2_1 n10_a_planetoid__1_2_3_2_5_2_4_2_2_1->n10_a_planetoid__1_2_3_2_5_2_4_2_2_1_1 n10_a_planetoid__1_2_3_2_5_2_4_2_3->n10_a_planetoid__1_2_3_2_5_2_4_2_3_1 n10_a_planetoid__1_3->n10_a_planetoid__1_3_1 
( (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))