Context                Previous, Next                Top


545_a_dick_1952
It can fire into the sky, shoot down anything that flies.

%3 r_0545_0002__can can z_000_545_a_dick_1952_8 r_0545_0002__can->z_000_545_a_dick_1952_8 [scope] r_0545_0003__fire fire z_000_545_a_dick_1952_8->r_0545_0003__fire [conj1] r_0545_0008__shoot_r_0545_0009__down shoot down z_000_545_a_dick_1952_8->r_0545_0008__shoot_r_0545_0009__down [conj2] r_0545_0001__It It r_0545_0003__fire->r_0545_0001__It [arg0] r_0545_0005__the_r_0545_0006__sky the sky r_0545_0003__fire->r_0545_0005__the_r_0545_0006__sky into [clr] r_0545_0008__shoot_r_0545_0009__down->r_0545_0001__It [arg0] r_0545_0010__anything anything r_0545_0008__shoot_r_0545_0009__down->r_0545_0010__anything [arg1] r_0545_0011__that_r_0545_0012__flies that flies r_0545_0011__that_r_0545_0012__flies->r_0545_0010__anything [arg0] 
arc(r_0545_0002__can, z_000_545_a_dick_1952_8, scope).
arc(r_0545_0003__fire, r_0545_0001__It, arg0).
arc(r_0545_0003__fire, r_0545_0005__the_r_0545_0006__sky, r_0545_0004__into_clr15).
arc(r_0545_0008__shoot_r_0545_0009__down, r_0545_0001__It, arg0).
arc(r_0545_0008__shoot_r_0545_0009__down, r_0545_0010__anything, arg1).
arc(r_0545_0011__that_r_0545_0012__flies, r_0545_0010__anything, arg0).
arc(z_000_545_a_dick_1952_8, r_0545_0003__fire, conj1).
arc(z_000_545_a_dick_1952_8, r_0545_0008__shoot_r_0545_0009__down, conj2).


%3 r_0545_0002__can can z_000_545_a_dick_1952_8 r_0545_0002__can->z_000_545_a_dick_1952_8 [keep_scope] r_0545_0008__shoot_r_0545_0009__down shoot down z_000_545_a_dick_1952_8->r_0545_0008__shoot_r_0545_0009__down [conj2] r_0545_0003__fire fire z_000_545_a_dick_1952_8->r_0545_0003__fire [conj1] r_0545_0010__anything anything r_0545_0008__shoot_r_0545_0009__down->r_0545_0010__anything [arg1] r_0545_0001__It It r_0545_0008__shoot_r_0545_0009__down->r_0545_0001__It [arg0] r_0545_0003__fire->r_0545_0001__It [arg0] r_0545_0005__the_r_0545_0006__sky the sky r_0545_0003__fire->r_0545_0005__the_r_0545_0006__sky into [clr] r_0545_0011__that_r_0545_0012__flies that flies r_0545_0011__that_r_0545_0012__flies->r_0545_0010__anything [arg0] 
fof(formula,axiom,
    ? [R_545_11_THAT_FLIES,R_545_10_ANYTHING] :
      ( anything(R_545_10_ANYTHING)
      & ~ ? [Z_545_A_DICK_1952_8,R_545_3_FIRE,R_545_5_THE_SKY,R_545_8_SHOOT_DOWN,R_545_1_IT] :
            ( the_sky(R_545_5_THE_SKY)
            & it(R_545_1_IT)
            & z_545_a_dick_1952_8(Z_545_A_DICK_1952_8)
            & conj1(Z_545_A_DICK_1952_8,R_545_3_FIRE)
            & fire(R_545_3_FIRE,R_545_1_IT)
            & into_clr15(R_545_3_FIRE,R_545_5_THE_SKY)
            & conj2(Z_545_A_DICK_1952_8,R_545_8_SHOOT_DOWN)
            & shoot_down(R_545_8_SHOOT_DOWN,R_545_1_IT,R_545_10_ANYTHING) )
      & that_flies(R_545_11_THAT_FLIES,R_545_10_ANYTHING) ) ).


n545_a_dick_1952 n545_a_dick_1952__1_1_1_1 It n545_a_dick_1952__1_2_1 can n545_a_dick_1952__1_3_1_1_1_1 fire n545_a_dick_1952__1_3_1_1_2_1_1 into n545_a_dick_1952__1_3_1_1_2_2_1_1 the n545_a_dick_1952__1_3_1_1_2_2_2_1 sky n545_a_dick_1952__1_3_1_2_1 , n545_a_dick_1952__1_3_1_3_1_1_1 shoot n545_a_dick_1952__1_3_1_3_1_2_1 down n545_a_dick_1952__1_3_1_3_1_3_1_1 anything n545_a_dick_1952__1_3_1_3_1_3_2_1_1 that n545_a_dick_1952__1_3_1_3_1_3_2_2_1 *T* n545_a_dick_1952__1_3_1_3_1_3_2_3_1 flies n545_a_dick_1952__1_4_1 . n545_a_dick_1952__1 IP-MAT n545_a_dick_1952__1_1 NP-SBJ n545_a_dick_1952__1->n545_a_dick_1952__1_1 n545_a_dick_1952__1_2 MD;_cat_Vi_ n545_a_dick_1952__1->n545_a_dick_1952__1_2 n545_a_dick_1952__1_3 IP-INF-CAT n545_a_dick_1952__1->n545_a_dick_1952__1_3 n545_a_dick_1952__1_4 PUNC n545_a_dick_1952__1->n545_a_dick_1952__1_4 n545_a_dick_1952__1_1_1 PRO n545_a_dick_1952__1_1->n545_a_dick_1952__1_1_1 n545_a_dick_1952__1_1_1->n545_a_dick_1952__1_1_1_1 n545_a_dick_1952__1_2->n545_a_dick_1952__1_2_1 n545_a_dick_1952__1_3_1 ILYR n545_a_dick_1952__1_3->n545_a_dick_1952__1_3_1 n545_a_dick_1952__1_3_1_1 ILYR n545_a_dick_1952__1_3_1->n545_a_dick_1952__1_3_1_1 n545_a_dick_1952__1_3_1_2 PUNC n545_a_dick_1952__1_3_1->n545_a_dick_1952__1_3_1_2 n545_a_dick_1952__1_3_1_3 CONJP n545_a_dick_1952__1_3_1->n545_a_dick_1952__1_3_1_3 n545_a_dick_1952__1_3_1_1_1 VB;_Ipr_ n545_a_dick_1952__1_3_1_1->n545_a_dick_1952__1_3_1_1_1 n545_a_dick_1952__1_3_1_1_2 PP-CLR n545_a_dick_1952__1_3_1_1->n545_a_dick_1952__1_3_1_1_2 n545_a_dick_1952__1_3_1_1_1->n545_a_dick_1952__1_3_1_1_1_1 n545_a_dick_1952__1_3_1_1_2_1 P-ROLE n545_a_dick_1952__1_3_1_1_2->n545_a_dick_1952__1_3_1_1_2_1 n545_a_dick_1952__1_3_1_1_2_2 NP n545_a_dick_1952__1_3_1_1_2->n545_a_dick_1952__1_3_1_1_2_2 n545_a_dick_1952__1_3_1_1_2_1->n545_a_dick_1952__1_3_1_1_2_1_1 n545_a_dick_1952__1_3_1_1_2_2_1 D n545_a_dick_1952__1_3_1_1_2_2->n545_a_dick_1952__1_3_1_1_2_2_1 n545_a_dick_1952__1_3_1_1_2_2_2 N n545_a_dick_1952__1_3_1_1_2_2->n545_a_dick_1952__1_3_1_1_2_2_2 n545_a_dick_1952__1_3_1_1_2_2_1->n545_a_dick_1952__1_3_1_1_2_2_1_1 n545_a_dick_1952__1_3_1_1_2_2_2->n545_a_dick_1952__1_3_1_1_2_2_2_1 n545_a_dick_1952__1_3_1_2->n545_a_dick_1952__1_3_1_2_1 n545_a_dick_1952__1_3_1_3_1 ILYR n545_a_dick_1952__1_3_1_3->n545_a_dick_1952__1_3_1_3_1 n545_a_dick_1952__1_3_1_3_1_1 VB;_phr_Vn<=>p_ n545_a_dick_1952__1_3_1_3_1->n545_a_dick_1952__1_3_1_3_1_1 n545_a_dick_1952__1_3_1_3_1_2 RP n545_a_dick_1952__1_3_1_3_1->n545_a_dick_1952__1_3_1_3_1_2 n545_a_dick_1952__1_3_1_3_1_3 NP-OB1 n545_a_dick_1952__1_3_1_3_1->n545_a_dick_1952__1_3_1_3_1_3 n545_a_dick_1952__1_3_1_3_1_1->n545_a_dick_1952__1_3_1_3_1_1_1 n545_a_dick_1952__1_3_1_3_1_2->n545_a_dick_1952__1_3_1_3_1_2_1 n545_a_dick_1952__1_3_1_3_1_3_1 D;_nphd_ n545_a_dick_1952__1_3_1_3_1_3->n545_a_dick_1952__1_3_1_3_1_3_1 n545_a_dick_1952__1_3_1_3_1_3_2 IP-REL n545_a_dick_1952__1_3_1_3_1_3->n545_a_dick_1952__1_3_1_3_1_3_2 n545_a_dick_1952__1_3_1_3_1_3_1->n545_a_dick_1952__1_3_1_3_1_3_1_1 n545_a_dick_1952__1_3_1_3_1_3_2_1 C n545_a_dick_1952__1_3_1_3_1_3_2->n545_a_dick_1952__1_3_1_3_1_3_2_1 n545_a_dick_1952__1_3_1_3_1_3_2_2 NP-SBJ n545_a_dick_1952__1_3_1_3_1_3_2->n545_a_dick_1952__1_3_1_3_1_3_2_2 n545_a_dick_1952__1_3_1_3_1_3_2_3 VBP;_I_ n545_a_dick_1952__1_3_1_3_1_3_2->n545_a_dick_1952__1_3_1_3_1_3_2_3 n545_a_dick_1952__1_3_1_3_1_3_2_1->n545_a_dick_1952__1_3_1_3_1_3_2_1_1 n545_a_dick_1952__1_3_1_3_1_3_2_2->n545_a_dick_1952__1_3_1_3_1_3_2_2_1 n545_a_dick_1952__1_3_1_3_1_3_2_3->n545_a_dick_1952__1_3_1_3_1_3_2_3_1 n545_a_dick_1952__1_4->n545_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_Ipr_ fire;{fire[into]})
                                  (PP-CLR (P-ROLE into;{into})
                                          (NP (D the;{the})
                                              (N sky;{sky}))))
                            (PUNC ,)
                            (CONJP (ILYR (VB;_phr_Vn<=>p_ shoot;{shoot})
                                         (RP down;{down})
                                         (NP-OB1 (D;_nphd_ anything;{anything})
                                                 (IP-REL (C that;{that})
                                                         (NP-SBJ *T*)
                                                         (VBP;_I_ flies;{fly})))))))
          (PUNC .))
  (ID 545_a_dick_1952))