Context                Previous, Next                Top


2_a_meteors
Steer your laser - ship through a hail of meteors smashing them with your laser bolts as they hurtle towards you on all sides.

%3 r_0002_0001__Steer Steer r_0002_0003__laser_r_0002_0005__ship laser ship r_0002_0001__Steer->r_0002_0003__laser_r_0002_0005__ship [arg1] r_0002_0007__a_r_0002_0008__hail a hail r_0002_0001__Steer->r_0002_0007__a_r_0002_0008__hail through [clr] z_000_2_a_meteors_1 r_0002_0001__Steer->z_000_2_a_meteors_1 [arg0] r_0002_0002__your your r_0002_0003__laser_r_0002_0005__ship->r_0002_0002__your [gen] r_0002_0010__meteors meteors r_0002_0007__a_r_0002_0008__hail->r_0002_0010__meteors of r_0002_0011__smashing smashing r_0002_0011__smashing->z_000_2_a_meteors_1 [arg0] r_0002_0011__smashing->r_0002_0010__meteors [arg1] r_0002_0015__laser_r_0002_0016__bolts laser bolts r_0002_0011__smashing->r_0002_0015__laser_r_0002_0016__bolts with [nim] r_0002_0015__laser_r_0002_0016__bolts->r_0002_0002__your [gen] r_0002_0017__as as r_0002_0017__as->r_0002_0011__smashing [scope] r_0002_0023__all_quant all [quant] r_0002_0017__as->r_0002_0023__all_quant [restriction] r_0002_0019__hurtle hurtle r_0002_0023__all_quant->r_0002_0019__hurtle [scope] r_0002_0024__sides sides r_0002_0023__all_quant->r_0002_0024__sides [restriction] r_0002_0019__hurtle->r_0002_0002__your towards [clr] r_0002_0019__hurtle->r_0002_0010__meteors [arg0] r_0002_0019__hurtle->r_0002_0024__sides on [nim] z_000_2_a_meteors_28 z_000_2_a_meteors_28->r_0002_0001__Steer [scope] z_000_2_a_meteors_28->r_0002_0017__as [restriction] 
arc(r_0002_0001__Steer, r_0002_0003__laser_r_0002_0005__ship, arg1).
arc(r_0002_0001__Steer, r_0002_0007__a_r_0002_0008__hail, r_0002_0006__through_clr17).
arc(r_0002_0001__Steer, z_000_2_a_meteors_1, arg0).
arc(r_0002_0003__laser_r_0002_0005__ship, r_0002_0002__your, gen).
arc(r_0002_0007__a_r_0002_0008__hail, r_0002_0010__meteors, r_0002_0009__of).
arc(r_0002_0011__smashing, r_0002_0010__meteors, arg1).
arc(r_0002_0011__smashing, r_0002_0015__laser_r_0002_0016__bolts, r_0002_0013__with_nim38).
arc(r_0002_0011__smashing, z_000_2_a_meteors_1, arg0).
arc(r_0002_0015__laser_r_0002_0016__bolts, r_0002_0002__your, gen).
arc(r_0002_0017__as, r_0002_0011__smashing, scope).
arc(r_0002_0017__as, r_0002_0023__all_quant, restriction).
arc(r_0002_0019__hurtle, r_0002_0002__your, r_0002_0020__towards_clr58).
arc(r_0002_0019__hurtle, r_0002_0010__meteors, arg0).
arc(r_0002_0019__hurtle, r_0002_0024__sides, r_0002_0022__on_nim64).
arc(r_0002_0023__all_quant, r_0002_0019__hurtle, scope).
arc(r_0002_0023__all_quant, r_0002_0024__sides, restriction).
arc(z_000_2_a_meteors_28, r_0002_0001__Steer, scope).
arc(z_000_2_a_meteors_28, r_0002_0017__as, restriction).


%3 z_000_2_a_meteors_28 r_0002_0017__as as z_000_2_a_meteors_28->r_0002_0017__as [conj1] r_0002_0001__Steer Steer z_000_2_a_meteors_28->r_0002_0001__Steer [conj2] r_0002_0023__all_quant all [quant] r_0002_0017__as->r_0002_0023__all_quant [conj1] r_0002_0011__smashing smashing r_0002_0017__as->r_0002_0011__smashing [conj2] z_000_2_a_meteors_1 r_0002_0001__Steer->z_000_2_a_meteors_1 [arg0] r_0002_0007__a_r_0002_0008__hail a hail r_0002_0001__Steer->r_0002_0007__a_r_0002_0008__hail through [clr] r_0002_0003__laser_r_0002_0005__ship laser ship r_0002_0001__Steer->r_0002_0003__laser_r_0002_0005__ship [arg1] r_0002_0024__sides sides r_0002_0023__all_quant->r_0002_0024__sides [restriction] r_0002_0019__hurtle hurtle r_0002_0023__all_quant->r_0002_0019__hurtle [scope] r_0002_0019__hurtle->r_0002_0024__sides on [nim] r_0002_0010__meteors meteors r_0002_0019__hurtle->r_0002_0010__meteors [arg0] r_0002_0002__your your r_0002_0019__hurtle->r_0002_0002__your towards [clr] r_0002_0011__smashing->r_0002_0010__meteors [arg1] r_0002_0015__laser_r_0002_0016__bolts laser bolts r_0002_0011__smashing->r_0002_0015__laser_r_0002_0016__bolts with [nim] r_0002_0011__smashing->z_000_2_a_meteors_1 [arg0] r_0002_0015__laser_r_0002_0016__bolts->r_0002_0002__your [gen] r_0002_0007__a_r_0002_0008__hail->r_0002_0010__meteors of r_0002_0003__laser_r_0002_0005__ship->r_0002_0002__your [gen] 
fof(formula,axiom,
    ? [Z_2_A_METEORS_28,R_2_17_AS,R_2_11_SMASHING,R_2_15_LASER_BOLTS,R_2_1_STEER,Z_2_A_METEORS_1,R_2_3_LASER_SHIP,R_2_2_YOUR,R_2_7_A_HAIL,R_2_10_METEORS] :
      ( your(R_2_2_YOUR)
      & meteors(R_2_10_METEORS)
      & z_2_a_meteors_28(Z_2_A_METEORS_28)
      & conj1(Z_2_A_METEORS_28,R_2_17_AS)
      & ! [R_2_24_SIDES] :
          ( sides(R_2_24_SIDES)
         => ? [R_2_19_HURTLE] :
              ( hurtle(R_2_19_HURTLE,R_2_10_METEORS)
              & towards_clr58(R_2_19_HURTLE,R_2_2_YOUR)
              & on_nim64(R_2_19_HURTLE,R_2_24_SIDES) ) )
      & conj1(CONJ1)
      & as(R_2_17_AS)
      & conj2(R_2_17_AS,R_2_11_SMASHING)
      & smashing(R_2_11_SMASHING,Z_2_A_METEORS_1,R_2_10_METEORS)
      & with_nim38(R_2_11_SMASHING,R_2_15_LASER_BOLTS)
      & laser_bolts(R_2_15_LASER_BOLTS)
      & gen(R_2_15_LASER_BOLTS,R_2_2_YOUR)
      & conj2(Z_2_A_METEORS_28,R_2_1_STEER)
      & steer(R_2_1_STEER,Z_2_A_METEORS_1,R_2_3_LASER_SHIP)
      & laser_ship(R_2_3_LASER_SHIP)
      & gen(R_2_3_LASER_SHIP,R_2_2_YOUR)
      & through_clr17(R_2_1_STEER,R_2_7_A_HAIL)
      & a_hail(R_2_7_A_HAIL)
      & of(R_2_7_A_HAIL,R_2_10_METEORS) ) ).


n2_a_meteors n2_a_meteors__1_1_1 Steer n2_a_meteors__1_2_1_1_1 your n2_a_meteors__1_2_2_1 laser n2_a_meteors__1_2_3_1 - n2_a_meteors__1_2_4_1 ship n2_a_meteors__1_3_1_1 through n2_a_meteors__1_3_2_1_1 a n2_a_meteors__1_3_2_2_1 hail n2_a_meteors__1_3_2_3_1_1 of n2_a_meteors__1_3_2_3_2_1_1 meteors n2_a_meteors__1_4_1_1_1 smashing n2_a_meteors__1_4_1_2_1_1 them n2_a_meteors__1_4_1_3_1_1 with n2_a_meteors__1_4_1_3_2_1_1_1 your n2_a_meteors__1_4_1_3_2_2_1 laser n2_a_meteors__1_4_1_3_2_3_1 bolts n2_a_meteors__1_4_1_4_1_1 as n2_a_meteors__1_4_1_4_2_1_1_1 they n2_a_meteors__1_4_1_4_2_2_1 hurtle n2_a_meteors__1_4_1_4_2_3_1_1 towards n2_a_meteors__1_4_1_4_2_3_2_1_1 you n2_a_meteors__1_4_1_4_2_4_1_1 on n2_a_meteors__1_4_1_4_2_4_2_1_1 all n2_a_meteors__1_4_1_4_2_4_2_2_1 sides n2_a_meteors__1_5_1 . n2_a_meteors__1 IP-IMP n2_a_meteors__1_1 VB;_Tn.pr_ n2_a_meteors__1->n2_a_meteors__1_1 n2_a_meteors__1_2 NP-OB1 n2_a_meteors__1->n2_a_meteors__1_2 n2_a_meteors__1_3 PP-CLR n2_a_meteors__1->n2_a_meteors__1_3 n2_a_meteors__1_4 PP-SCON n2_a_meteors__1->n2_a_meteors__1_4 n2_a_meteors__1_5 PUNC n2_a_meteors__1->n2_a_meteors__1_5 n2_a_meteors__1_1->n2_a_meteors__1_1_1 n2_a_meteors__1_2_1 NP-GEN n2_a_meteors__1_2->n2_a_meteors__1_2_1 n2_a_meteors__1_2_2 N n2_a_meteors__1_2->n2_a_meteors__1_2_2 n2_a_meteors__1_2_3 PUNC n2_a_meteors__1_2->n2_a_meteors__1_2_3 n2_a_meteors__1_2_4 N n2_a_meteors__1_2->n2_a_meteors__1_2_4 n2_a_meteors__1_2_1_1 PRO;_genm_ n2_a_meteors__1_2_1->n2_a_meteors__1_2_1_1 n2_a_meteors__1_2_1_1->n2_a_meteors__1_2_1_1_1 n2_a_meteors__1_2_2->n2_a_meteors__1_2_2_1 n2_a_meteors__1_2_3->n2_a_meteors__1_2_3_1 n2_a_meteors__1_2_4->n2_a_meteors__1_2_4_1 n2_a_meteors__1_3_1 P-ROLE n2_a_meteors__1_3->n2_a_meteors__1_3_1 n2_a_meteors__1_3_2 NP n2_a_meteors__1_3->n2_a_meteors__1_3_2 n2_a_meteors__1_3_1->n2_a_meteors__1_3_1_1 n2_a_meteors__1_3_2_1 D n2_a_meteors__1_3_2->n2_a_meteors__1_3_2_1 n2_a_meteors__1_3_2_2 N n2_a_meteors__1_3_2->n2_a_meteors__1_3_2_2 n2_a_meteors__1_3_2_3 PP n2_a_meteors__1_3_2->n2_a_meteors__1_3_2_3 n2_a_meteors__1_3_2_1->n2_a_meteors__1_3_2_1_1 n2_a_meteors__1_3_2_2->n2_a_meteors__1_3_2_2_1 n2_a_meteors__1_3_2_3_1 P-ROLE n2_a_meteors__1_3_2_3->n2_a_meteors__1_3_2_3_1 n2_a_meteors__1_3_2_3_2 NP n2_a_meteors__1_3_2_3->n2_a_meteors__1_3_2_3_2 n2_a_meteors__1_3_2_3_1->n2_a_meteors__1_3_2_3_1_1 n2_a_meteors__1_3_2_3_2_1 NS n2_a_meteors__1_3_2_3_2->n2_a_meteors__1_3_2_3_2_1 n2_a_meteors__1_3_2_3_2_1->n2_a_meteors__1_3_2_3_2_1_1 n2_a_meteors__1_4_1 IP-PPL2 n2_a_meteors__1_4->n2_a_meteors__1_4_1 n2_a_meteors__1_4_1_1 VAG;_Tn_ n2_a_meteors__1_4_1->n2_a_meteors__1_4_1_1 n2_a_meteors__1_4_1_2 NP-OB1 n2_a_meteors__1_4_1->n2_a_meteors__1_4_1_2 n2_a_meteors__1_4_1_3 PP-NIM n2_a_meteors__1_4_1->n2_a_meteors__1_4_1_3 n2_a_meteors__1_4_1_4 PP-SCON n2_a_meteors__1_4_1->n2_a_meteors__1_4_1_4 n2_a_meteors__1_4_1_1->n2_a_meteors__1_4_1_1_1 n2_a_meteors__1_4_1_2_1 PRO n2_a_meteors__1_4_1_2->n2_a_meteors__1_4_1_2_1 n2_a_meteors__1_4_1_2_1->n2_a_meteors__1_4_1_2_1_1 n2_a_meteors__1_4_1_3_1 P-ROLE n2_a_meteors__1_4_1_3->n2_a_meteors__1_4_1_3_1 n2_a_meteors__1_4_1_3_2 NP n2_a_meteors__1_4_1_3->n2_a_meteors__1_4_1_3_2 n2_a_meteors__1_4_1_3_1->n2_a_meteors__1_4_1_3_1_1 n2_a_meteors__1_4_1_3_2_1 NP-GEN n2_a_meteors__1_4_1_3_2->n2_a_meteors__1_4_1_3_2_1 n2_a_meteors__1_4_1_3_2_2 N n2_a_meteors__1_4_1_3_2->n2_a_meteors__1_4_1_3_2_2 n2_a_meteors__1_4_1_3_2_3 NS n2_a_meteors__1_4_1_3_2->n2_a_meteors__1_4_1_3_2_3 n2_a_meteors__1_4_1_3_2_1_1 PRO;_genm_ n2_a_meteors__1_4_1_3_2_1->n2_a_meteors__1_4_1_3_2_1_1 n2_a_meteors__1_4_1_3_2_1_1->n2_a_meteors__1_4_1_3_2_1_1_1 n2_a_meteors__1_4_1_3_2_2->n2_a_meteors__1_4_1_3_2_2_1 n2_a_meteors__1_4_1_3_2_3->n2_a_meteors__1_4_1_3_2_3_1 n2_a_meteors__1_4_1_4_1 P-CONN n2_a_meteors__1_4_1_4->n2_a_meteors__1_4_1_4_1 n2_a_meteors__1_4_1_4_2 IP-ADV n2_a_meteors__1_4_1_4->n2_a_meteors__1_4_1_4_2 n2_a_meteors__1_4_1_4_1->n2_a_meteors__1_4_1_4_1_1 n2_a_meteors__1_4_1_4_2_1 NP-SBJ n2_a_meteors__1_4_1_4_2->n2_a_meteors__1_4_1_4_2_1 n2_a_meteors__1_4_1_4_2_2 VBP;_Ipr_ n2_a_meteors__1_4_1_4_2->n2_a_meteors__1_4_1_4_2_2 n2_a_meteors__1_4_1_4_2_3 PP-CLR n2_a_meteors__1_4_1_4_2->n2_a_meteors__1_4_1_4_2_3 n2_a_meteors__1_4_1_4_2_4 PP-NIM n2_a_meteors__1_4_1_4_2->n2_a_meteors__1_4_1_4_2_4 n2_a_meteors__1_4_1_4_2_1_1 PRO n2_a_meteors__1_4_1_4_2_1->n2_a_meteors__1_4_1_4_2_1_1 n2_a_meteors__1_4_1_4_2_1_1->n2_a_meteors__1_4_1_4_2_1_1_1 n2_a_meteors__1_4_1_4_2_2->n2_a_meteors__1_4_1_4_2_2_1 n2_a_meteors__1_4_1_4_2_3_1 P-ROLE n2_a_meteors__1_4_1_4_2_3->n2_a_meteors__1_4_1_4_2_3_1 n2_a_meteors__1_4_1_4_2_3_2 NP n2_a_meteors__1_4_1_4_2_3->n2_a_meteors__1_4_1_4_2_3_2 n2_a_meteors__1_4_1_4_2_3_1->n2_a_meteors__1_4_1_4_2_3_1_1 n2_a_meteors__1_4_1_4_2_3_2_1 PRO n2_a_meteors__1_4_1_4_2_3_2->n2_a_meteors__1_4_1_4_2_3_2_1 n2_a_meteors__1_4_1_4_2_3_2_1->n2_a_meteors__1_4_1_4_2_3_2_1_1 n2_a_meteors__1_4_1_4_2_4_1 P-ROLE n2_a_meteors__1_4_1_4_2_4->n2_a_meteors__1_4_1_4_2_4_1 n2_a_meteors__1_4_1_4_2_4_2 NP n2_a_meteors__1_4_1_4_2_4->n2_a_meteors__1_4_1_4_2_4_2 n2_a_meteors__1_4_1_4_2_4_1->n2_a_meteors__1_4_1_4_2_4_1_1 n2_a_meteors__1_4_1_4_2_4_2_1 Q n2_a_meteors__1_4_1_4_2_4_2->n2_a_meteors__1_4_1_4_2_4_2_1 n2_a_meteors__1_4_1_4_2_4_2_2 NS n2_a_meteors__1_4_1_4_2_4_2->n2_a_meteors__1_4_1_4_2_4_2_2 n2_a_meteors__1_4_1_4_2_4_2_1->n2_a_meteors__1_4_1_4_2_4_2_1_1 n2_a_meteors__1_4_1_4_2_4_2_2->n2_a_meteors__1_4_1_4_2_4_2_2_1 n2_a_meteors__1_5->n2_a_meteors__1_5_1 
( (IP-IMP (VB;_Tn.pr_ Steer;{steer[through]})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N laser;{laser})
                  (PUNC <hyphen>)
                  (N ship;{ship}))
          (PP-CLR (P-ROLE through;{through})
                  (NP (D a;{a})
                      (N hail;{hail})
                      (PP (P-ROLE of;{of})
                          (NP;{METEORS} (NS meteors;{meteor})))))
          (PP-SCON (IP-PPL2 (VAG;_Tn_ smashing;{smash})
                            (NP-OB1;{METEORS} (PRO them;{they}))
                            (PP-NIM (P-ROLE with;{with})
                                    (NP (NP-GEN (PRO;_genm_ your;{your}))
                                        (N laser;{laser})
                                        (NS bolts;{bolt})))
                            (PP-SCON (P-CONN as;{as})
                                     (IP-ADV (NP-SBJ;{METEORS} (PRO they;{they}))
                                             (VBP;_Ipr_ hurtle;{hurtle[towards]})
                                             (PP-CLR (P-ROLE towards;{towards})
                                                     (NP (PRO you;{you})))
                                             (PP-NIM (P-ROLE on;{on})
                                                     (NP (Q all;{all})
                                                         (NS sides;{side})))))))
          (PUNC .))
  (ID 2_a_meteors))