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_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] 
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_4 It n545_a_dick_1952_6 can n545_a_dick_1952_11 fire n545_a_dick_1952_14 into n545_a_dick_1952_17 the n545_a_dick_1952_19 sky n545_a_dick_1952_21 , n545_a_dick_1952_25 shoot n545_a_dick_1952_27 down n545_a_dick_1952_30 anything n545_a_dick_1952_33 that n545_a_dick_1952_35 *T* n545_a_dick_1952_37 flies n545_a_dick_1952_39 . n545_a_dick_1952_1 IP-MAT n545_a_dick_1952_2 NP-SBJ n545_a_dick_1952_1->n545_a_dick_1952_2 n545_a_dick_1952_5 MD;_cat_Vi_ n545_a_dick_1952_1->n545_a_dick_1952_5 n545_a_dick_1952_7 IP-INF-CAT n545_a_dick_1952_1->n545_a_dick_1952_7 n545_a_dick_1952_38 PUNC n545_a_dick_1952_1->n545_a_dick_1952_38 n545_a_dick_1952_3 PRO n545_a_dick_1952_2->n545_a_dick_1952_3 n545_a_dick_1952_3->n545_a_dick_1952_4 n545_a_dick_1952_5->n545_a_dick_1952_6 n545_a_dick_1952_8 ILYR n545_a_dick_1952_7->n545_a_dick_1952_8 n545_a_dick_1952_9 ILYR n545_a_dick_1952_8->n545_a_dick_1952_9 n545_a_dick_1952_20 PUNC n545_a_dick_1952_8->n545_a_dick_1952_20 n545_a_dick_1952_22 CONJP n545_a_dick_1952_8->n545_a_dick_1952_22 n545_a_dick_1952_10 VB;_Ipr_ n545_a_dick_1952_9->n545_a_dick_1952_10 n545_a_dick_1952_12 PP-CLR n545_a_dick_1952_9->n545_a_dick_1952_12 n545_a_dick_1952_10->n545_a_dick_1952_11 n545_a_dick_1952_13 P-ROLE n545_a_dick_1952_12->n545_a_dick_1952_13 n545_a_dick_1952_15 NP n545_a_dick_1952_12->n545_a_dick_1952_15 n545_a_dick_1952_13->n545_a_dick_1952_14 n545_a_dick_1952_16 D n545_a_dick_1952_15->n545_a_dick_1952_16 n545_a_dick_1952_18 N n545_a_dick_1952_15->n545_a_dick_1952_18 n545_a_dick_1952_16->n545_a_dick_1952_17 n545_a_dick_1952_18->n545_a_dick_1952_19 n545_a_dick_1952_20->n545_a_dick_1952_21 n545_a_dick_1952_23 ILYR n545_a_dick_1952_22->n545_a_dick_1952_23 n545_a_dick_1952_24 VB;_phr_Vn<=>p_ n545_a_dick_1952_23->n545_a_dick_1952_24 n545_a_dick_1952_26 RP n545_a_dick_1952_23->n545_a_dick_1952_26 n545_a_dick_1952_28 NP-OB1 n545_a_dick_1952_23->n545_a_dick_1952_28 n545_a_dick_1952_24->n545_a_dick_1952_25 n545_a_dick_1952_26->n545_a_dick_1952_27 n545_a_dick_1952_29 D;_nphd_ n545_a_dick_1952_28->n545_a_dick_1952_29 n545_a_dick_1952_31 IP-REL n545_a_dick_1952_28->n545_a_dick_1952_31 n545_a_dick_1952_29->n545_a_dick_1952_30 n545_a_dick_1952_32 C n545_a_dick_1952_31->n545_a_dick_1952_32 n545_a_dick_1952_34 NP-SBJ n545_a_dick_1952_31->n545_a_dick_1952_34 n545_a_dick_1952_36 VBP;_I_ n545_a_dick_1952_31->n545_a_dick_1952_36 n545_a_dick_1952_32->n545_a_dick_1952_33 n545_a_dick_1952_34->n545_a_dick_1952_35 n545_a_dick_1952_36->n545_a_dick_1952_37 n545_a_dick_1952_38->n545_a_dick_1952_39 
( (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))