Context                Previous, Next                Top


350_a_dick_1952
It's only designed to combat objects in the sky.

%3 r_0350_0002___apos_s 's r_0350_0004__designed designed r_0350_0002___apos_s->r_0350_0004__designed [scope] r_0350_0001__It It r_0350_0004__designed->r_0350_0001__It [arg1] r_0350_0003__only only r_0350_0004__designed->r_0350_0003__only [nim] z_000_350_a_dick_1952_8 r_0350_0004__designed->z_000_350_a_dick_1952_8 [arg0] r_0350_0005__to_r_0350_0006__combat to combat r_0350_0005__to_r_0350_0006__combat->r_0350_0001__It [arg0] r_0350_0007__objects objects r_0350_0005__to_r_0350_0006__combat->r_0350_0007__objects [arg1] r_0350_0009__the_r_0350_0010__sky the sky r_0350_0007__objects->r_0350_0009__the_r_0350_0010__sky in z_000_350_a_dick_1952_15 z_000_350_a_dick_1952_15->r_0350_0002___apos_s [scope] z_000_350_a_dick_1952_15->r_0350_0005__to_r_0350_0006__combat [restriction] 
arc(r_0350_0002___apos_s, r_0350_0004__designed, scope).
arc(r_0350_0004__designed, r_0350_0001__It, arg1).
arc(r_0350_0004__designed, r_0350_0003__only, nim10).
arc(r_0350_0004__designed, z_000_350_a_dick_1952_8, arg0).
arc(r_0350_0005__to_r_0350_0006__combat, r_0350_0001__It, arg0).
arc(r_0350_0005__to_r_0350_0006__combat, r_0350_0007__objects, arg1).
arc(r_0350_0007__objects, r_0350_0009__the_r_0350_0010__sky, r_0350_0008__in).
arc(z_000_350_a_dick_1952_15, r_0350_0002___apos_s, scope).
arc(z_000_350_a_dick_1952_15, r_0350_0005__to_r_0350_0006__combat, restriction).


%3 z_000_350_a_dick_1952_15 r_0350_0005__to_r_0350_0006__combat to combat z_000_350_a_dick_1952_15->r_0350_0005__to_r_0350_0006__combat [conj1] r_0350_0002___apos_s_r_0350_0004__designed 's designed z_000_350_a_dick_1952_15->r_0350_0002___apos_s_r_0350_0004__designed [conj2] r_0350_0007__objects objects r_0350_0005__to_r_0350_0006__combat->r_0350_0007__objects [arg1] r_0350_0001__It It r_0350_0005__to_r_0350_0006__combat->r_0350_0001__It [arg0] r_0350_0002___apos_s_r_0350_0004__designed->r_0350_0001__It [arg1] z_000_350_a_dick_1952_8 r_0350_0002___apos_s_r_0350_0004__designed->z_000_350_a_dick_1952_8 [arg0] r_0350_0003__only only r_0350_0002___apos_s_r_0350_0004__designed->r_0350_0003__only [nim] r_0350_0009__the_r_0350_0010__sky the sky r_0350_0007__objects->r_0350_0009__the_r_0350_0010__sky in 
fof(formula,axiom,
    ? [R_0350_0001__IT,R_0350_0003__ONLY,Z_000_350_A_DICK_1952_8,R_0350_0002___APOS_S_R_0350_0004__DESIGNED,R_0350_0009__THE_R_0350_0010__SKY,R_0350_0007__OBJECTS,R_0350_0005__TO_R_0350_0006__COMBAT,Z_000_350_A_DICK_1952_15] :
      ( r_0350_0001__It(R_0350_0001__IT)
      & r_0350_0003__only(R_0350_0003__ONLY)
      & r_0350_0009__the_r_0350_0010__sky(R_0350_0009__THE_R_0350_0010__SKY)
      & z_000_350_a_dick_1952_8(Z_000_350_A_DICK_1952_8)
      & z_000_350_a_dick_1952_15(Z_000_350_A_DICK_1952_15)
      & has_conj1(Z_000_350_A_DICK_1952_15,R_0350_0005__TO_R_0350_0006__COMBAT)
      & r_0350_0005__to_r_0350_0006__combat(R_0350_0005__TO_R_0350_0006__COMBAT)
      & has_arg1(R_0350_0005__TO_R_0350_0006__COMBAT,R_0350_0007__OBJECTS)
      & r_0350_0007__objects(R_0350_0007__OBJECTS)
      & has_r_0350_0008__in(R_0350_0007__OBJECTS,R_0350_0009__THE_R_0350_0010__SKY)
      & has_arg0(R_0350_0005__TO_R_0350_0006__COMBAT,R_0350_0001__IT)
      & has_conj2(Z_000_350_A_DICK_1952_15,R_0350_0002___APOS_S_R_0350_0004__DESIGNED)
      & r_0350_0002___apos_s_r_0350_0004__designed(R_0350_0002___APOS_S_R_0350_0004__DESIGNED)
      & has_arg0(R_0350_0002___APOS_S_R_0350_0004__DESIGNED,Z_000_350_A_DICK_1952_8)
      & has_nim10(R_0350_0002___APOS_S_R_0350_0004__DESIGNED,R_0350_0003__ONLY)
      & has_arg1(R_0350_0002___APOS_S_R_0350_0004__DESIGNED,R_0350_0001__IT) ) ).


n350_a_dick_1952 n350_a_dick_1952__1_1_1_1 It n350_a_dick_1952__1_2_1 's n350_a_dick_1952__1_3_1_1 * n350_a_dick_1952__1_3_2_1_1 only n350_a_dick_1952__1_3_3_1 designed n350_a_dick_1952__1_4_1_1_1 to n350_a_dick_1952__1_4_1_2_1 combat n350_a_dick_1952__1_4_1_3_1_1 objects n350_a_dick_1952__1_4_1_3_2_1_1 in n350_a_dick_1952__1_4_1_3_2_2_1_1 the n350_a_dick_1952__1_4_1_3_2_2_2_1 sky n350_a_dick_1952__1_5_1 . n350_a_dick_1952__1 IP-MAT n350_a_dick_1952__1_1 NP-SBJ n350_a_dick_1952__1->n350_a_dick_1952__1_1 n350_a_dick_1952__1_2 BEP;_cat_VePASS_ n350_a_dick_1952__1->n350_a_dick_1952__1_2 n350_a_dick_1952__1_3 IP-PPL-CAT n350_a_dick_1952__1->n350_a_dick_1952__1_3 n350_a_dick_1952__1_4 PP-SCON n350_a_dick_1952__1->n350_a_dick_1952__1_4 n350_a_dick_1952__1_5 PUNC n350_a_dick_1952__1->n350_a_dick_1952__1_5 n350_a_dick_1952__1_1_1 PRO n350_a_dick_1952__1_1->n350_a_dick_1952__1_1_1 n350_a_dick_1952__1_1_1->n350_a_dick_1952__1_1_1_1 n350_a_dick_1952__1_2->n350_a_dick_1952__1_2_1 n350_a_dick_1952__1_3_1 NP-LGS n350_a_dick_1952__1_3->n350_a_dick_1952__1_3_1 n350_a_dick_1952__1_3_2 ADVP-NIM n350_a_dick_1952__1_3->n350_a_dick_1952__1_3_2 n350_a_dick_1952__1_3_3 VVN;_Tn_ n350_a_dick_1952__1_3->n350_a_dick_1952__1_3_3 n350_a_dick_1952__1_3_1->n350_a_dick_1952__1_3_1_1 n350_a_dick_1952__1_3_2_1 ADV n350_a_dick_1952__1_3_2->n350_a_dick_1952__1_3_2_1 n350_a_dick_1952__1_3_2_1->n350_a_dick_1952__1_3_2_1_1 n350_a_dick_1952__1_3_3->n350_a_dick_1952__1_3_3_1 n350_a_dick_1952__1_4_1 IP-INF n350_a_dick_1952__1_4->n350_a_dick_1952__1_4_1 n350_a_dick_1952__1_4_1_1 TO n350_a_dick_1952__1_4_1->n350_a_dick_1952__1_4_1_1 n350_a_dick_1952__1_4_1_2 VB;_Tn_ n350_a_dick_1952__1_4_1->n350_a_dick_1952__1_4_1_2 n350_a_dick_1952__1_4_1_3 NP-OB1 n350_a_dick_1952__1_4_1->n350_a_dick_1952__1_4_1_3 n350_a_dick_1952__1_4_1_1->n350_a_dick_1952__1_4_1_1_1 n350_a_dick_1952__1_4_1_2->n350_a_dick_1952__1_4_1_2_1 n350_a_dick_1952__1_4_1_3_1 NS n350_a_dick_1952__1_4_1_3->n350_a_dick_1952__1_4_1_3_1 n350_a_dick_1952__1_4_1_3_2 PP n350_a_dick_1952__1_4_1_3->n350_a_dick_1952__1_4_1_3_2 n350_a_dick_1952__1_4_1_3_1->n350_a_dick_1952__1_4_1_3_1_1 n350_a_dick_1952__1_4_1_3_2_1 P-ROLE n350_a_dick_1952__1_4_1_3_2->n350_a_dick_1952__1_4_1_3_2_1 n350_a_dick_1952__1_4_1_3_2_2 NP n350_a_dick_1952__1_4_1_3_2->n350_a_dick_1952__1_4_1_3_2_2 n350_a_dick_1952__1_4_1_3_2_1->n350_a_dick_1952__1_4_1_3_2_1_1 n350_a_dick_1952__1_4_1_3_2_2_1 D n350_a_dick_1952__1_4_1_3_2_2->n350_a_dick_1952__1_4_1_3_2_2_1 n350_a_dick_1952__1_4_1_3_2_2_2 N n350_a_dick_1952__1_4_1_3_2_2->n350_a_dick_1952__1_4_1_3_2_2_2 n350_a_dick_1952__1_4_1_3_2_2_1->n350_a_dick_1952__1_4_1_3_2_2_1_1 n350_a_dick_1952__1_4_1_3_2_2_2->n350_a_dick_1952__1_4_1_3_2_2_2_1 n350_a_dick_1952__1_5->n350_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (BEP;_cat_VePASS_ <apos>s;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV only;{only}))
                      (VVN;_Tn_ designed;{design}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ combat;{combat})
                           (NP-OB1 (NS objects;{object})
                                   (PP (P-ROLE in;{in})
                                       (NP (D the;{the})
                                           (N sky;{sky}))))))
          (PUNC .))
  (ID 350_a_dick_1952))