545_a_dick_1952
It can fire into the sky, shoot down anything that flies.
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).
fof(formula,axiom,
? [R_0545_0010__ANYTHING,R_0545_0011__THAT_R_0545_0012__FLIES,R_0545_0001__IT,R_0545_0005__THE_R_0545_0006__SKY,R_0545_0003__FIRE,R_0545_0008__SHOOT_R_0545_0009__DOWN,Z_000_545_A_DICK_1952_8,R_0545_0002__CAN] :
( r_0545_0001__It(R_0545_0001__IT)
& r_0545_0005__the_r_0545_0006__sky(R_0545_0005__THE_R_0545_0006__SKY)
& r_0545_0010__anything(R_0545_0010__ANYTHING)
& r_0545_0002__can(R_0545_0002__CAN)
& has_keep_scope(R_0545_0002__CAN,Z_000_545_A_DICK_1952_8)
& z_000_545_a_dick_1952_8(Z_000_545_A_DICK_1952_8)
& has_conj2(Z_000_545_A_DICK_1952_8,R_0545_0008__SHOOT_R_0545_0009__DOWN)
& r_0545_0008__shoot_r_0545_0009__down(R_0545_0008__SHOOT_R_0545_0009__DOWN)
& has_arg1(R_0545_0008__SHOOT_R_0545_0009__DOWN,R_0545_0010__ANYTHING)
& has_arg0(R_0545_0008__SHOOT_R_0545_0009__DOWN,R_0545_0001__IT)
& has_conj1(Z_000_545_A_DICK_1952_8,R_0545_0003__FIRE)
& r_0545_0003__fire(R_0545_0003__FIRE)
& has_r_0545_0004__into_clr15(R_0545_0003__FIRE,R_0545_0005__THE_R_0545_0006__SKY)
& has_arg0(R_0545_0003__FIRE,R_0545_0001__IT)
& r_0545_0011__that_r_0545_0012__flies(R_0545_0011__THAT_R_0545_0012__FLIES)
& has_arg0(R_0545_0011__THAT_R_0545_0012__FLIES,R_0545_0010__ANYTHING) ) ).
( (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))