Context                Previous, Next                Top


4_a_meteors
Your ship is equipped with as many laser bolts as you can fire and as a last resort, you can escape through hyperspace.

%3 r_0004_0002__ship ship r_0004_0001__Your Your r_0004_0002__ship->r_0004_0001__Your [gen] r_0004_0003__is is r_0004_0004__equipped equipped r_0004_0003__is->r_0004_0004__equipped [scope] r_0004_0004__equipped->r_0004_0002__ship [arg1] r_0004_0008__laser_r_0004_0009__bolts laser bolts r_0004_0004__equipped->r_0004_0008__laser_r_0004_0009__bolts with [clr] z_000_4_a_meteors_13 r_0004_0004__equipped->z_000_4_a_meteors_13 [arg0] r_0004_0007__many many r_0004_0008__laser_r_0004_0009__bolts->r_0004_0007__many [attrib] r_0004_0006__as as r_0004_0007__many->r_0004_0006__as [qual] z_000_4_a_meteors_36 r_0004_0007__many->z_000_4_a_meteors_36 as r_0004_0012__can can r_0004_0013__fire fire r_0004_0012__can->r_0004_0013__fire [scope] r_0004_0013__fire->r_0004_0001__Your [arg0] r_0004_0013__fire->z_000_4_a_meteors_36 [arg1] r_0004_0014__and and r_0004_0014__and->r_0004_0003__is [conj1] r_0004_0021__can can r_0004_0014__and->r_0004_0021__can [conj2] r_0004_0016__a_r_0004_0018__resort a resort r_0004_0021__can->r_0004_0016__a_r_0004_0018__resort as [nim] r_0004_0022__escape escape r_0004_0021__can->r_0004_0022__escape [scope] r_0004_0017__last last r_0004_0016__a_r_0004_0018__resort->r_0004_0017__last [attrib] r_0004_0022__escape->r_0004_0001__Your [arg0] r_0004_0024__hyperspace hyperspace r_0004_0022__escape->r_0004_0024__hyperspace through [clr] 
arc(r_0004_0002__ship, r_0004_0001__Your, gen).
arc(r_0004_0003__is, r_0004_0004__equipped, scope).
arc(r_0004_0004__equipped, r_0004_0002__ship, arg1).
arc(r_0004_0004__equipped, r_0004_0008__laser_r_0004_0009__bolts, r_0004_0005__with_clr20).
arc(r_0004_0004__equipped, z_000_4_a_meteors_13, arg0).
arc(r_0004_0007__many, r_0004_0006__as, qual22).
arc(r_0004_0007__many, z_000_4_a_meteors_36, r_0004_0010__as).
arc(r_0004_0008__laser_r_0004_0009__bolts, r_0004_0007__many, attrib21).
arc(r_0004_0012__can, r_0004_0013__fire, scope).
arc(r_0004_0013__fire, r_0004_0001__Your, arg0).
arc(r_0004_0013__fire, z_000_4_a_meteors_36, arg1).
arc(r_0004_0014__and, r_0004_0003__is, conj1).
arc(r_0004_0014__and, r_0004_0021__can, conj2).
arc(r_0004_0016__a_r_0004_0018__resort, r_0004_0017__last, attrib58).
arc(r_0004_0021__can, r_0004_0016__a_r_0004_0018__resort, r_0004_0015__as_nim55).
arc(r_0004_0021__can, r_0004_0022__escape, scope).
arc(r_0004_0022__escape, r_0004_0001__Your, arg0).
arc(r_0004_0022__escape, r_0004_0024__hyperspace, r_0004_0023__through_clr76).


%3 r_0004_0021__can_r_0004_0022__escape can escape r_0004_0024__hyperspace hyperspace r_0004_0021__can_r_0004_0022__escape->r_0004_0024__hyperspace through [clr] r_0004_0001__Your Your r_0004_0021__can_r_0004_0022__escape->r_0004_0001__Your [arg0] r_0004_0016__a_r_0004_0018__resort a resort r_0004_0021__can_r_0004_0022__escape->r_0004_0016__a_r_0004_0018__resort as [nim] r_0004_0017__last last r_0004_0016__a_r_0004_0018__resort->r_0004_0017__last [attrib] r_0004_0014__and and r_0004_0014__and->r_0004_0021__can_r_0004_0022__escape [conj2] r_0004_0003__is_r_0004_0004__equipped is equipped r_0004_0014__and->r_0004_0003__is_r_0004_0004__equipped [conj1] r_0004_0008__laser_r_0004_0009__bolts laser bolts r_0004_0003__is_r_0004_0004__equipped->r_0004_0008__laser_r_0004_0009__bolts with [clr] z_000_4_a_meteors_13 r_0004_0003__is_r_0004_0004__equipped->z_000_4_a_meteors_13 [arg0] r_0004_0002__ship ship r_0004_0003__is_r_0004_0004__equipped->r_0004_0002__ship [arg1] r_0004_0012__can_r_0004_0013__fire can fire r_0004_0012__can_r_0004_0013__fire->r_0004_0001__Your [arg0] z_000_4_a_meteors_36 r_0004_0012__can_r_0004_0013__fire->z_000_4_a_meteors_36 [arg1] r_0004_0007__many many r_0004_0008__laser_r_0004_0009__bolts->r_0004_0007__many [attrib] r_0004_0007__many->z_000_4_a_meteors_36 as r_0004_0006__as as r_0004_0007__many->r_0004_0006__as [qual] r_0004_0002__ship->r_0004_0001__Your [gen] 
fof(formula,axiom,
    ? [R_4_12_CAN_FIRE,R_4_14_AND,R_4_3_IS_EQUIPPED,Z_4_A_METEORS_13,R_4_2_SHIP,R_4_8_LASER_BOLTS,R_4_7_MANY,R_4_6_AS,Z_4_A_METEORS_36,R_4_21_CAN_ESCAPE,R_4_1_YOUR,R_4_16_A_RESORT,R_4_17_LAST,R_4_24_HYPERSPACE] :
      ( as(R_4_6_AS)
      & your(R_4_1_YOUR)
      & last(R_4_17_LAST)
      & hyperspace(R_4_24_HYPERSPACE)
      & can_fire(R_4_12_CAN_FIRE,R_4_1_YOUR,Z_4_A_METEORS_36)
      & and(R_4_14_AND)
      & conj1(R_4_14_AND,R_4_3_IS_EQUIPPED)
      & is_equipped(R_4_3_IS_EQUIPPED,Z_4_A_METEORS_13,R_4_2_SHIP)
      & ship(R_4_2_SHIP)
      & gen(R_4_2_SHIP,R_4_1_YOUR)
      & with_clr20(R_4_3_IS_EQUIPPED,R_4_8_LASER_BOLTS)
      & laser_bolts(R_4_8_LASER_BOLTS)
      & attrib21(R_4_8_LASER_BOLTS,R_4_7_MANY)
      & many(R_4_7_MANY)
      & qual22(R_4_7_MANY,R_4_6_AS)
      & as(R_4_7_MANY,Z_4_A_METEORS_36)
      & conj2(R_4_14_AND,R_4_21_CAN_ESCAPE)
      & can_escape(R_4_21_CAN_ESCAPE,R_4_1_YOUR)
      & as_nim55(R_4_21_CAN_ESCAPE,R_4_16_A_RESORT)
      & a_resort(R_4_16_A_RESORT)
      & attrib58(R_4_16_A_RESORT,R_4_17_LAST)
      & through_clr76(R_4_21_CAN_ESCAPE,R_4_24_HYPERSPACE) ) ).


n4_a_meteors n4_a_meteors__1_1_1_1_1_1_1 Your n4_a_meteors__1_1_1_1_2_1 ship n4_a_meteors__1_1_1_2_1 is n4_a_meteors__1_1_1_3_1_1 * n4_a_meteors__1_1_1_3_2_1 equipped n4_a_meteors__1_1_1_3_3_1_1 with n4_a_meteors__1_1_1_3_3_2_1_1_1_1 as n4_a_meteors__1_1_1_3_3_2_1_2_1 many n4_a_meteors__1_1_1_3_3_2_1_3_1 *ICH*-132 n4_a_meteors__1_1_1_3_3_2_2_1 laser n4_a_meteors__1_1_1_3_3_2_3_1 bolts n4_a_meteors__1_1_1_3_3_2_4_1_1 as n4_a_meteors__1_1_1_3_3_2_4_2_1_1_1_1 you n4_a_meteors__1_1_1_3_3_2_4_2_1_2_1 can n4_a_meteors__1_1_1_3_3_2_4_2_1_3_1_1 *T* n4_a_meteors__1_1_1_3_3_2_4_2_1_3_2_1 fire n4_a_meteors__1_1_2_1_1 and n4_a_meteors__1_1_2_2_1_1_1 as n4_a_meteors__1_1_2_2_1_2_1_1 a n4_a_meteors__1_1_2_2_1_2_2_1_1 last n4_a_meteors__1_1_2_2_1_2_3_1 resort n4_a_meteors__1_1_2_2_2_1 , n4_a_meteors__1_1_2_2_3_1_1 you n4_a_meteors__1_1_2_2_4_1 can n4_a_meteors__1_1_2_2_5_1_1 escape n4_a_meteors__1_1_2_2_5_2_1_1 through n4_a_meteors__1_1_2_2_5_2_2_1_1 hyperspace n4_a_meteors__1_2_1 . n4_a_meteors__1 IP-MAT n4_a_meteors__1_1 ILYR n4_a_meteors__1->n4_a_meteors__1_1 n4_a_meteors__1_2 PUNC n4_a_meteors__1->n4_a_meteors__1_2 n4_a_meteors__1_1_1 ILYR n4_a_meteors__1_1->n4_a_meteors__1_1_1 n4_a_meteors__1_1_2 CONJP n4_a_meteors__1_1->n4_a_meteors__1_1_2 n4_a_meteors__1_1_1_1 NP-SBJ n4_a_meteors__1_1_1->n4_a_meteors__1_1_1_1 n4_a_meteors__1_1_1_2 BEP;_cat_VePASS_ n4_a_meteors__1_1_1->n4_a_meteors__1_1_1_2 n4_a_meteors__1_1_1_3 IP-PPL-CAT n4_a_meteors__1_1_1->n4_a_meteors__1_1_1_3 n4_a_meteors__1_1_1_1_1 NP-GEN n4_a_meteors__1_1_1_1->n4_a_meteors__1_1_1_1_1 n4_a_meteors__1_1_1_1_2 N n4_a_meteors__1_1_1_1->n4_a_meteors__1_1_1_1_2 n4_a_meteors__1_1_1_1_1_1 PRO;_genm_ n4_a_meteors__1_1_1_1_1->n4_a_meteors__1_1_1_1_1_1 n4_a_meteors__1_1_1_1_1_1->n4_a_meteors__1_1_1_1_1_1_1 n4_a_meteors__1_1_1_1_2->n4_a_meteors__1_1_1_1_2_1 n4_a_meteors__1_1_1_2->n4_a_meteors__1_1_1_2_1 n4_a_meteors__1_1_1_3_1 NP-LGS n4_a_meteors__1_1_1_3->n4_a_meteors__1_1_1_3_1 n4_a_meteors__1_1_1_3_2 VVN;_Tn.pr_ n4_a_meteors__1_1_1_3->n4_a_meteors__1_1_1_3_2 n4_a_meteors__1_1_1_3_3 PP-CLR n4_a_meteors__1_1_1_3->n4_a_meteors__1_1_1_3_3 n4_a_meteors__1_1_1_3_1->n4_a_meteors__1_1_1_3_1_1 n4_a_meteors__1_1_1_3_2->n4_a_meteors__1_1_1_3_2_1 n4_a_meteors__1_1_1_3_3_1 P-ROLE n4_a_meteors__1_1_1_3_3->n4_a_meteors__1_1_1_3_3_1 n4_a_meteors__1_1_1_3_3_2 NP n4_a_meteors__1_1_1_3_3->n4_a_meteors__1_1_1_3_3_2 n4_a_meteors__1_1_1_3_3_1->n4_a_meteors__1_1_1_3_3_1_1 n4_a_meteors__1_1_1_3_3_2_1 ADJP n4_a_meteors__1_1_1_3_3_2->n4_a_meteors__1_1_1_3_3_2_1 n4_a_meteors__1_1_1_3_3_2_2 N n4_a_meteors__1_1_1_3_3_2->n4_a_meteors__1_1_1_3_3_2_2 n4_a_meteors__1_1_1_3_3_2_3 NS n4_a_meteors__1_1_1_3_3_2->n4_a_meteors__1_1_1_3_3_2_3 n4_a_meteors__1_1_1_3_3_2_4 PP-EPD-132 n4_a_meteors__1_1_1_3_3_2->n4_a_meteors__1_1_1_3_3_2_4 n4_a_meteors__1_1_1_3_3_2_1_1 ADVP n4_a_meteors__1_1_1_3_3_2_1->n4_a_meteors__1_1_1_3_3_2_1_1 n4_a_meteors__1_1_1_3_3_2_1_2 ADJ n4_a_meteors__1_1_1_3_3_2_1->n4_a_meteors__1_1_1_3_3_2_1_2 n4_a_meteors__1_1_1_3_3_2_1_3 PP n4_a_meteors__1_1_1_3_3_2_1->n4_a_meteors__1_1_1_3_3_2_1_3 n4_a_meteors__1_1_1_3_3_2_1_1_1 ADV n4_a_meteors__1_1_1_3_3_2_1_1->n4_a_meteors__1_1_1_3_3_2_1_1_1 n4_a_meteors__1_1_1_3_3_2_1_1_1->n4_a_meteors__1_1_1_3_3_2_1_1_1_1 n4_a_meteors__1_1_1_3_3_2_1_2->n4_a_meteors__1_1_1_3_3_2_1_2_1 n4_a_meteors__1_1_1_3_3_2_1_3->n4_a_meteors__1_1_1_3_3_2_1_3_1 n4_a_meteors__1_1_1_3_3_2_2->n4_a_meteors__1_1_1_3_3_2_2_1 n4_a_meteors__1_1_1_3_3_2_3->n4_a_meteors__1_1_1_3_3_2_3_1 n4_a_meteors__1_1_1_3_3_2_4_1 P-ROLE n4_a_meteors__1_1_1_3_3_2_4->n4_a_meteors__1_1_1_3_3_2_4_1 n4_a_meteors__1_1_1_3_3_2_4_2 NP n4_a_meteors__1_1_1_3_3_2_4->n4_a_meteors__1_1_1_3_3_2_4_2 n4_a_meteors__1_1_1_3_3_2_4_1->n4_a_meteors__1_1_1_3_3_2_4_1_1 n4_a_meteors__1_1_1_3_3_2_4_2_1 IP-REL n4_a_meteors__1_1_1_3_3_2_4_2->n4_a_meteors__1_1_1_3_3_2_4_2_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_1 NP-SBJ n4_a_meteors__1_1_1_3_3_2_4_2_1->n4_a_meteors__1_1_1_3_3_2_4_2_1_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_2 MD;_cat_Vi_ n4_a_meteors__1_1_1_3_3_2_4_2_1->n4_a_meteors__1_1_1_3_3_2_4_2_1_2 n4_a_meteors__1_1_1_3_3_2_4_2_1_3 IP-INF-CAT n4_a_meteors__1_1_1_3_3_2_4_2_1->n4_a_meteors__1_1_1_3_3_2_4_2_1_3 n4_a_meteors__1_1_1_3_3_2_4_2_1_1_1 PRO n4_a_meteors__1_1_1_3_3_2_4_2_1_1->n4_a_meteors__1_1_1_3_3_2_4_2_1_1_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_1_1->n4_a_meteors__1_1_1_3_3_2_4_2_1_1_1_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_2->n4_a_meteors__1_1_1_3_3_2_4_2_1_2_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_3_1 NP-OB1 n4_a_meteors__1_1_1_3_3_2_4_2_1_3->n4_a_meteors__1_1_1_3_3_2_4_2_1_3_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_3_2 VB;_Tn_ n4_a_meteors__1_1_1_3_3_2_4_2_1_3->n4_a_meteors__1_1_1_3_3_2_4_2_1_3_2 n4_a_meteors__1_1_1_3_3_2_4_2_1_3_1->n4_a_meteors__1_1_1_3_3_2_4_2_1_3_1_1 n4_a_meteors__1_1_1_3_3_2_4_2_1_3_2->n4_a_meteors__1_1_1_3_3_2_4_2_1_3_2_1 n4_a_meteors__1_1_2_1 CONJ n4_a_meteors__1_1_2->n4_a_meteors__1_1_2_1 n4_a_meteors__1_1_2_2 ILYR n4_a_meteors__1_1_2->n4_a_meteors__1_1_2_2 n4_a_meteors__1_1_2_1->n4_a_meteors__1_1_2_1_1 n4_a_meteors__1_1_2_2_1 PP-NIM n4_a_meteors__1_1_2_2->n4_a_meteors__1_1_2_2_1 n4_a_meteors__1_1_2_2_2 PUNC n4_a_meteors__1_1_2_2->n4_a_meteors__1_1_2_2_2 n4_a_meteors__1_1_2_2_3 NP-SBJ n4_a_meteors__1_1_2_2->n4_a_meteors__1_1_2_2_3 n4_a_meteors__1_1_2_2_4 MD;_cat_Vi_ n4_a_meteors__1_1_2_2->n4_a_meteors__1_1_2_2_4 n4_a_meteors__1_1_2_2_5 IP-INF-CAT n4_a_meteors__1_1_2_2->n4_a_meteors__1_1_2_2_5 n4_a_meteors__1_1_2_2_1_1 P-ROLE n4_a_meteors__1_1_2_2_1->n4_a_meteors__1_1_2_2_1_1 n4_a_meteors__1_1_2_2_1_2 NP n4_a_meteors__1_1_2_2_1->n4_a_meteors__1_1_2_2_1_2 n4_a_meteors__1_1_2_2_1_1->n4_a_meteors__1_1_2_2_1_1_1 n4_a_meteors__1_1_2_2_1_2_1 D n4_a_meteors__1_1_2_2_1_2->n4_a_meteors__1_1_2_2_1_2_1 n4_a_meteors__1_1_2_2_1_2_2 ADJP n4_a_meteors__1_1_2_2_1_2->n4_a_meteors__1_1_2_2_1_2_2 n4_a_meteors__1_1_2_2_1_2_3 N n4_a_meteors__1_1_2_2_1_2->n4_a_meteors__1_1_2_2_1_2_3 n4_a_meteors__1_1_2_2_1_2_1->n4_a_meteors__1_1_2_2_1_2_1_1 n4_a_meteors__1_1_2_2_1_2_2_1 ADJ n4_a_meteors__1_1_2_2_1_2_2->n4_a_meteors__1_1_2_2_1_2_2_1 n4_a_meteors__1_1_2_2_1_2_2_1->n4_a_meteors__1_1_2_2_1_2_2_1_1 n4_a_meteors__1_1_2_2_1_2_3->n4_a_meteors__1_1_2_2_1_2_3_1 n4_a_meteors__1_1_2_2_2->n4_a_meteors__1_1_2_2_2_1 n4_a_meteors__1_1_2_2_3_1 PRO n4_a_meteors__1_1_2_2_3->n4_a_meteors__1_1_2_2_3_1 n4_a_meteors__1_1_2_2_3_1->n4_a_meteors__1_1_2_2_3_1_1 n4_a_meteors__1_1_2_2_4->n4_a_meteors__1_1_2_2_4_1 n4_a_meteors__1_1_2_2_5_1 VB;_Ipr_ n4_a_meteors__1_1_2_2_5->n4_a_meteors__1_1_2_2_5_1 n4_a_meteors__1_1_2_2_5_2 PP-CLR n4_a_meteors__1_1_2_2_5->n4_a_meteors__1_1_2_2_5_2 n4_a_meteors__1_1_2_2_5_1->n4_a_meteors__1_1_2_2_5_1_1 n4_a_meteors__1_1_2_2_5_2_1 P-ROLE n4_a_meteors__1_1_2_2_5_2->n4_a_meteors__1_1_2_2_5_2_1 n4_a_meteors__1_1_2_2_5_2_2 NP n4_a_meteors__1_1_2_2_5_2->n4_a_meteors__1_1_2_2_5_2_2 n4_a_meteors__1_1_2_2_5_2_1->n4_a_meteors__1_1_2_2_5_2_1_1 n4_a_meteors__1_1_2_2_5_2_2_1 N n4_a_meteors__1_1_2_2_5_2_2->n4_a_meteors__1_1_2_2_5_2_2_1 n4_a_meteors__1_1_2_2_5_2_2_1->n4_a_meteors__1_1_2_2_5_2_2_1_1 n4_a_meteors__1_2->n4_a_meteors__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                              (N ship;{ship}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ equipped;{equip})
                                  (PP-CLR (P-ROLE with;{with})
                                          (NP (ADJP (ADVP (ADV as;{as}))
                                                    (ADJ many;{many})
                                                    (PP *ICH*-132))
                                              (N laser;{laser})
                                              (NS bolts;{bolt})
                                              (PP-EPD-132 (P-ROLE as;{as})
                                                          (NP (IP-REL (NP-SBJ (PRO you;{you}))
                                                                      (MD;_cat_Vi_ can;{can})
                                                                      (IP-INF-CAT (NP-OB1 *T*)
                                                                                  (VB;_Tn_ fire;{fire})))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE as;{as})
                                     (NP (D a;{a})
                                         (ADJP (ADJ last;{last}))
                                         (N resort;{resort})))
                             (PUNC ,)
                             (NP-SBJ (PRO you;{you}))
                             (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (VB;_Ipr_ escape;{escape[through]})
                                         (PP-CLR (P-ROLE through;{through})
                                                 (NP (N hyperspace;{hyperspace})))))))
          (PUNC .))
  (ID 4_a_meteors))