Context                Previous, Next                Top


3_a_meteors
Avoid being hit by the missiles from hostile flying saucers which fire at you as they pass.

%3 r_0003_0001__Avoid Avoid r_0003_0002__being being r_0003_0001__Avoid->r_0003_0002__being [arg1] z_000_3_a_meteors_1 r_0003_0001__Avoid->z_000_3_a_meteors_1 [arg0] r_0003_0003__hit hit r_0003_0002__being->r_0003_0003__hit [scope] r_0003_0003__hit->z_000_3_a_meteors_1 [arg1] r_0003_0005__the_r_0003_0006__missiles the missiles r_0003_0003__hit->r_0003_0005__the_r_0003_0006__missiles [arg0] r_0003_0010__saucers saucers r_0003_0005__the_r_0003_0006__missiles->r_0003_0010__saucers from r_0003_0008__hostile hostile r_0003_0010__saucers->r_0003_0008__hostile [attrib] r_0003_0009__flying flying r_0003_0009__flying->r_0003_0010__saucers [arg0] r_0003_0012__fire fire r_0003_0012__fire->r_0003_0010__saucers [arg0] r_0003_0014__you you r_0003_0012__fire->r_0003_0014__you at [clr] r_0003_0015__as as r_0003_0015__as->r_0003_0012__fire [scope] r_0003_0017__pass pass r_0003_0015__as->r_0003_0017__pass [restriction] r_0003_0017__pass->r_0003_0010__saucers [arg0] 
arc(r_0003_0001__Avoid, r_0003_0002__being, arg1).
arc(r_0003_0001__Avoid, z_000_3_a_meteors_1, arg0).
arc(r_0003_0002__being, r_0003_0003__hit, scope).
arc(r_0003_0003__hit, r_0003_0005__the_r_0003_0006__missiles, arg0).
arc(r_0003_0003__hit, z_000_3_a_meteors_1, arg1).
arc(r_0003_0005__the_r_0003_0006__missiles, r_0003_0010__saucers, r_0003_0007__from).
arc(r_0003_0009__flying, r_0003_0010__saucers, arg0).
arc(r_0003_0010__saucers, r_0003_0008__hostile, attrib22).
arc(r_0003_0012__fire, r_0003_0010__saucers, arg0).
arc(r_0003_0012__fire, r_0003_0014__you, r_0003_0013__at_clr39).
arc(r_0003_0015__as, r_0003_0012__fire, scope).
arc(r_0003_0015__as, r_0003_0017__pass, restriction).
arc(r_0003_0017__pass, r_0003_0010__saucers, arg0).


%3 r_0003_0017__pass pass r_0003_0010__saucers saucers r_0003_0017__pass->r_0003_0010__saucers [arg0] r_0003_0008__hostile hostile r_0003_0010__saucers->r_0003_0008__hostile [attrib] r_0003_0015__as as r_0003_0015__as->r_0003_0017__pass [conj1] r_0003_0012__fire fire r_0003_0015__as->r_0003_0012__fire [conj2] r_0003_0012__fire->r_0003_0010__saucers [arg0] r_0003_0014__you you r_0003_0012__fire->r_0003_0014__you at [clr] r_0003_0009__flying flying r_0003_0009__flying->r_0003_0010__saucers [arg0] r_0003_0005__the_r_0003_0006__missiles the missiles r_0003_0005__the_r_0003_0006__missiles->r_0003_0010__saucers from r_0003_0002__being_r_0003_0003__hit being hit r_0003_0002__being_r_0003_0003__hit->r_0003_0005__the_r_0003_0006__missiles [arg0] z_000_3_a_meteors_1 r_0003_0002__being_r_0003_0003__hit->z_000_3_a_meteors_1 [arg1] r_0003_0001__Avoid Avoid r_0003_0001__Avoid->r_0003_0002__being_r_0003_0003__hit [arg1] r_0003_0001__Avoid->z_000_3_a_meteors_1 [arg0] 
fof(formula,axiom,
    ? [R_3_1_AVOID,R_3_2_BEING_HIT,R_3_5_THE_MISSILES,Z_3_A_METEORS_1,R_3_9_FLYING,R_3_15_AS,R_3_17_PASS,R_3_12_FIRE,R_3_10_SAUCERS,R_3_8_HOSTILE,R_3_14_YOU] :
      ( hostile(R_3_8_HOSTILE)
      & you(R_3_14_YOU)
      & avoid(R_3_1_AVOID,Z_3_A_METEORS_1,R_3_2_BEING_HIT)
      & being_hit(R_3_2_BEING_HIT,R_3_5_THE_MISSILES,Z_3_A_METEORS_1)
      & the_missiles(R_3_5_THE_MISSILES)
      & from(R_3_5_THE_MISSILES,R_3_10_SAUCERS)
      & saucers(R_3_10_SAUCERS)
      & attrib22(R_3_10_SAUCERS,R_3_8_HOSTILE)
      & flying(R_3_9_FLYING,R_3_10_SAUCERS)
      & as(R_3_15_AS)
      & conj1(R_3_15_AS,R_3_17_PASS)
      & pass(R_3_17_PASS,R_3_10_SAUCERS)
      & conj2(R_3_15_AS,R_3_12_FIRE)
      & fire(R_3_12_FIRE,R_3_10_SAUCERS)
      & at_clr39(R_3_12_FIRE,R_3_14_YOU) ) ).


n3_a_meteors n3_a_meteors__1_1_1 Avoid n3_a_meteors__1_2_1_1 being n3_a_meteors__1_2_2_1_1 hit n3_a_meteors__1_2_2_2_1_1 by n3_a_meteors__1_2_2_2_2_1_1 the n3_a_meteors__1_2_2_2_2_2_1 missiles n3_a_meteors__1_2_2_2_2_3_1_1 from n3_a_meteors__1_2_2_2_2_3_2_1_1_1 hostile n3_a_meteors__1_2_2_2_2_3_2_2_1_1 flying n3_a_meteors__1_2_2_2_2_3_2_3_1 saucers n3_a_meteors__1_2_2_2_2_3_2_4_1_1_1 which n3_a_meteors__1_2_2_2_2_3_2_4_2_1 fire n3_a_meteors__1_2_2_2_2_3_2_4_3_1_1 at n3_a_meteors__1_2_2_2_2_3_2_4_3_2_1_1 you n3_a_meteors__1_2_2_2_2_3_2_4_4_1_1 as n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1_1_1 they n3_a_meteors__1_2_2_2_2_3_2_4_4_2_2_1 pass n3_a_meteors__1_3_1 . n3_a_meteors__1 IP-IMP n3_a_meteors__1_1 VB;_Tg_ n3_a_meteors__1->n3_a_meteors__1_1 n3_a_meteors__1_2 IP-PPL-OB1 n3_a_meteors__1->n3_a_meteors__1_2 n3_a_meteors__1_3 PUNC n3_a_meteors__1->n3_a_meteors__1_3 n3_a_meteors__1_1->n3_a_meteors__1_1_1 n3_a_meteors__1_2_1 BAG;_cat_VePASS_ n3_a_meteors__1_2->n3_a_meteors__1_2_1 n3_a_meteors__1_2_2 IP-PPL-CAT n3_a_meteors__1_2->n3_a_meteors__1_2_2 n3_a_meteors__1_2_1->n3_a_meteors__1_2_1_1 n3_a_meteors__1_2_2_1 VVN;_Tn_ n3_a_meteors__1_2_2->n3_a_meteors__1_2_2_1 n3_a_meteors__1_2_2_2 PP-LGS n3_a_meteors__1_2_2->n3_a_meteors__1_2_2_2 n3_a_meteors__1_2_2_1->n3_a_meteors__1_2_2_1_1 n3_a_meteors__1_2_2_2_1 P-ROLE;_lgs_ n3_a_meteors__1_2_2_2->n3_a_meteors__1_2_2_2_1 n3_a_meteors__1_2_2_2_2 NP n3_a_meteors__1_2_2_2->n3_a_meteors__1_2_2_2_2 n3_a_meteors__1_2_2_2_1->n3_a_meteors__1_2_2_2_1_1 n3_a_meteors__1_2_2_2_2_1 D n3_a_meteors__1_2_2_2_2->n3_a_meteors__1_2_2_2_2_1 n3_a_meteors__1_2_2_2_2_2 NS n3_a_meteors__1_2_2_2_2->n3_a_meteors__1_2_2_2_2_2 n3_a_meteors__1_2_2_2_2_3 PP n3_a_meteors__1_2_2_2_2->n3_a_meteors__1_2_2_2_2_3 n3_a_meteors__1_2_2_2_2_1->n3_a_meteors__1_2_2_2_2_1_1 n3_a_meteors__1_2_2_2_2_2->n3_a_meteors__1_2_2_2_2_2_1 n3_a_meteors__1_2_2_2_2_3_1 P-ROLE n3_a_meteors__1_2_2_2_2_3->n3_a_meteors__1_2_2_2_2_3_1 n3_a_meteors__1_2_2_2_2_3_2 NP n3_a_meteors__1_2_2_2_2_3->n3_a_meteors__1_2_2_2_2_3_2 n3_a_meteors__1_2_2_2_2_3_1->n3_a_meteors__1_2_2_2_2_3_1_1 n3_a_meteors__1_2_2_2_2_3_2_1 ADJP n3_a_meteors__1_2_2_2_2_3_2->n3_a_meteors__1_2_2_2_2_3_2_1 n3_a_meteors__1_2_2_2_2_3_2_2 IP-PPL n3_a_meteors__1_2_2_2_2_3_2->n3_a_meteors__1_2_2_2_2_3_2_2 n3_a_meteors__1_2_2_2_2_3_2_3 NS n3_a_meteors__1_2_2_2_2_3_2->n3_a_meteors__1_2_2_2_2_3_2_3 n3_a_meteors__1_2_2_2_2_3_2_4 IP-REL n3_a_meteors__1_2_2_2_2_3_2->n3_a_meteors__1_2_2_2_2_3_2_4 n3_a_meteors__1_2_2_2_2_3_2_1_1 ADJ n3_a_meteors__1_2_2_2_2_3_2_1->n3_a_meteors__1_2_2_2_2_3_2_1_1 n3_a_meteors__1_2_2_2_2_3_2_1_1->n3_a_meteors__1_2_2_2_2_3_2_1_1_1 n3_a_meteors__1_2_2_2_2_3_2_2_1 VAG;_I_ n3_a_meteors__1_2_2_2_2_3_2_2->n3_a_meteors__1_2_2_2_2_3_2_2_1 n3_a_meteors__1_2_2_2_2_3_2_2_1->n3_a_meteors__1_2_2_2_2_3_2_2_1_1 n3_a_meteors__1_2_2_2_2_3_2_3->n3_a_meteors__1_2_2_2_2_3_2_3_1 n3_a_meteors__1_2_2_2_2_3_2_4_1 NP-SBJ n3_a_meteors__1_2_2_2_2_3_2_4->n3_a_meteors__1_2_2_2_2_3_2_4_1 n3_a_meteors__1_2_2_2_2_3_2_4_2 VBP;_Ipr_ n3_a_meteors__1_2_2_2_2_3_2_4->n3_a_meteors__1_2_2_2_2_3_2_4_2 n3_a_meteors__1_2_2_2_2_3_2_4_3 PP-CLR n3_a_meteors__1_2_2_2_2_3_2_4->n3_a_meteors__1_2_2_2_2_3_2_4_3 n3_a_meteors__1_2_2_2_2_3_2_4_4 PP-SCON n3_a_meteors__1_2_2_2_2_3_2_4->n3_a_meteors__1_2_2_2_2_3_2_4_4 n3_a_meteors__1_2_2_2_2_3_2_4_1_1 RPRO n3_a_meteors__1_2_2_2_2_3_2_4_1->n3_a_meteors__1_2_2_2_2_3_2_4_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_1_1->n3_a_meteors__1_2_2_2_2_3_2_4_1_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_2->n3_a_meteors__1_2_2_2_2_3_2_4_2_1 n3_a_meteors__1_2_2_2_2_3_2_4_3_1 P-ROLE n3_a_meteors__1_2_2_2_2_3_2_4_3->n3_a_meteors__1_2_2_2_2_3_2_4_3_1 n3_a_meteors__1_2_2_2_2_3_2_4_3_2 NP n3_a_meteors__1_2_2_2_2_3_2_4_3->n3_a_meteors__1_2_2_2_2_3_2_4_3_2 n3_a_meteors__1_2_2_2_2_3_2_4_3_1->n3_a_meteors__1_2_2_2_2_3_2_4_3_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_3_2_1 PRO n3_a_meteors__1_2_2_2_2_3_2_4_3_2->n3_a_meteors__1_2_2_2_2_3_2_4_3_2_1 n3_a_meteors__1_2_2_2_2_3_2_4_3_2_1->n3_a_meteors__1_2_2_2_2_3_2_4_3_2_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_4_1 P-CONN n3_a_meteors__1_2_2_2_2_3_2_4_4->n3_a_meteors__1_2_2_2_2_3_2_4_4_1 n3_a_meteors__1_2_2_2_2_3_2_4_4_2 IP-ADV n3_a_meteors__1_2_2_2_2_3_2_4_4->n3_a_meteors__1_2_2_2_2_3_2_4_4_2 n3_a_meteors__1_2_2_2_2_3_2_4_4_1->n3_a_meteors__1_2_2_2_2_3_2_4_4_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1 NP-SBJ n3_a_meteors__1_2_2_2_2_3_2_4_4_2->n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1 n3_a_meteors__1_2_2_2_2_3_2_4_4_2_2 VBP;_I_ n3_a_meteors__1_2_2_2_2_3_2_4_4_2->n3_a_meteors__1_2_2_2_2_3_2_4_4_2_2 n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1_1 PRO n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1->n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1_1->n3_a_meteors__1_2_2_2_2_3_2_4_4_2_1_1_1 n3_a_meteors__1_2_2_2_2_3_2_4_4_2_2->n3_a_meteors__1_2_2_2_2_3_2_4_4_2_2_1 n3_a_meteors__1_3->n3_a_meteors__1_3_1 
( (IP-IMP (VB;_Tg_ Avoid;{avoid})
          (IP-PPL-OB1 (BAG;_cat_VePASS_ being;{be})
                      (IP-PPL-CAT (VVN;_Tn_ hit;{hit})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D the;{the})
                                              (NS missiles;{missile})
                                              (PP (P-ROLE from;{from})
                                                  (NP;{FLYING_SAUCERS} (ADJP (ADJ hostile;{hostile}))
                                                                       (IP-PPL (VAG;_I_ flying;{fly}))
                                                                       (NS saucers;{saucer})
                                                                       (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                               (VBP;_Ipr_ fire;{fire[at]})
                                                                               (PP-CLR (P-ROLE at;{at})
                                                                                       (NP (PRO you;{you})))
                                                                               (PP-SCON (P-CONN as;{as})
                                                                                        (IP-ADV (NP-SBJ;{FLYING_SAUCERS} (PRO they;{they}))
                                                                                                (VBP;_I_ pass;{pass}))))))))))
          (PUNC .))
  (ID 3_a_meteors))