Context                Previous, Next                Top


75_a_dick_1952
The first atomic shell had struck the ship, spinning it around.

%3 r_0075_0001__The_r_0075_0004__shell The shell r_0075_0002__first first r_0075_0001__The_r_0075_0004__shell->r_0075_0002__first [attrib] r_0075_0003__atomic atomic r_0075_0001__The_r_0075_0004__shell->r_0075_0003__atomic [attrib] r_0075_0005__had had r_0075_0006__struck struck r_0075_0005__had->r_0075_0006__struck [scope] r_0075_0006__struck->r_0075_0001__The_r_0075_0004__shell [arg0] r_0075_0007__the_r_0075_0008__ship the ship r_0075_0006__struck->r_0075_0007__the_r_0075_0008__ship [arg1] r_0075_0010__spinning spinning r_0075_0010__spinning->r_0075_0001__The_r_0075_0004__shell [arg0] r_0075_0010__spinning->r_0075_0007__the_r_0075_0008__ship [arg1] r_0075_0012__around around r_0075_0010__spinning->r_0075_0012__around [clr] z_000_75_a_dick_1952_25 z_000_75_a_dick_1952_25->r_0075_0005__had [scope] z_000_75_a_dick_1952_25->r_0075_0010__spinning [restriction] 
arc(r_0075_0001__The_r_0075_0004__shell, r_0075_0002__first, attrib5).
arc(r_0075_0001__The_r_0075_0004__shell, r_0075_0003__atomic, attrib8).
arc(r_0075_0005__had, r_0075_0006__struck, scope).
arc(r_0075_0006__struck, r_0075_0001__The_r_0075_0004__shell, arg0).
arc(r_0075_0006__struck, r_0075_0007__the_r_0075_0008__ship, arg1).
arc(r_0075_0010__spinning, r_0075_0001__The_r_0075_0004__shell, arg0).
arc(r_0075_0010__spinning, r_0075_0007__the_r_0075_0008__ship, arg1).
arc(r_0075_0010__spinning, r_0075_0012__around, clr32).
arc(z_000_75_a_dick_1952_25, r_0075_0005__had, scope).
arc(z_000_75_a_dick_1952_25, r_0075_0010__spinning, restriction).


%3 z_000_75_a_dick_1952_25 r_0075_0010__spinning spinning z_000_75_a_dick_1952_25->r_0075_0010__spinning [conj1] r_0075_0005__had_r_0075_0006__struck had struck z_000_75_a_dick_1952_25->r_0075_0005__had_r_0075_0006__struck [conj2] r_0075_0012__around around r_0075_0010__spinning->r_0075_0012__around [clr] r_0075_0007__the_r_0075_0008__ship the ship r_0075_0010__spinning->r_0075_0007__the_r_0075_0008__ship [arg1] r_0075_0001__The_r_0075_0004__shell The shell r_0075_0010__spinning->r_0075_0001__The_r_0075_0004__shell [arg0] r_0075_0005__had_r_0075_0006__struck->r_0075_0007__the_r_0075_0008__ship [arg1] r_0075_0005__had_r_0075_0006__struck->r_0075_0001__The_r_0075_0004__shell [arg0] r_0075_0003__atomic atomic r_0075_0001__The_r_0075_0004__shell->r_0075_0003__atomic [attrib] r_0075_0002__first first r_0075_0001__The_r_0075_0004__shell->r_0075_0002__first [attrib] 
fof(formula,axiom,
    ? [R_0075_0002__FIRST,R_0075_0003__ATOMIC,R_0075_0001__THE_R_0075_0004__SHELL,R_0075_0007__THE_R_0075_0008__SHIP,R_0075_0005__HAD_R_0075_0006__STRUCK,R_0075_0012__AROUND,R_0075_0010__SPINNING,Z_000_75_A_DICK_1952_25] :
      ( r_0075_0002__first(R_0075_0002__FIRST)
      & r_0075_0003__atomic(R_0075_0003__ATOMIC)
      & r_0075_0007__the_r_0075_0008__ship(R_0075_0007__THE_R_0075_0008__SHIP)
      & r_0075_0012__around(R_0075_0012__AROUND)
      & z_000_75_a_dick_1952_25(Z_000_75_A_DICK_1952_25)
      & has_conj1(Z_000_75_A_DICK_1952_25,R_0075_0010__SPINNING)
      & r_0075_0010__spinning(R_0075_0010__SPINNING)
      & has_clr32(R_0075_0010__SPINNING,R_0075_0012__AROUND)
      & has_arg1(R_0075_0010__SPINNING,R_0075_0007__THE_R_0075_0008__SHIP)
      & has_arg0(R_0075_0010__SPINNING,R_0075_0001__THE_R_0075_0004__SHELL)
      & r_0075_0001__The_r_0075_0004__shell(R_0075_0001__THE_R_0075_0004__SHELL)
      & has_attrib8(R_0075_0001__THE_R_0075_0004__SHELL,R_0075_0003__ATOMIC)
      & has_attrib5(R_0075_0001__THE_R_0075_0004__SHELL,R_0075_0002__FIRST)
      & has_conj2(Z_000_75_A_DICK_1952_25,R_0075_0005__HAD_R_0075_0006__STRUCK)
      & r_0075_0005__had_r_0075_0006__struck(R_0075_0005__HAD_R_0075_0006__STRUCK)
      & has_arg1(R_0075_0005__HAD_R_0075_0006__STRUCK,R_0075_0007__THE_R_0075_0008__SHIP)
      & has_arg0(R_0075_0005__HAD_R_0075_0006__STRUCK,R_0075_0001__THE_R_0075_0004__SHELL) ) ).


n75_a_dick_1952 n75_a_dick_1952__1_1_1_1 The n75_a_dick_1952__1_1_2_1_1 first n75_a_dick_1952__1_1_3_1_1 atomic n75_a_dick_1952__1_1_4_1 shell n75_a_dick_1952__1_2_1 had n75_a_dick_1952__1_3_1_1 struck n75_a_dick_1952__1_3_2_1_1 the n75_a_dick_1952__1_3_2_2_1 ship n75_a_dick_1952__1_4_1 , n75_a_dick_1952__1_5_1_1_1 spinning n75_a_dick_1952__1_5_1_2_1_1 it n75_a_dick_1952__1_5_1_3_1_1 around n75_a_dick_1952__1_6_1 . n75_a_dick_1952__1 IP-MAT n75_a_dick_1952__1_1 NP-SBJ n75_a_dick_1952__1->n75_a_dick_1952__1_1 n75_a_dick_1952__1_2 HVD;_cat_Ve_ n75_a_dick_1952__1->n75_a_dick_1952__1_2 n75_a_dick_1952__1_3 IP-PPL-CAT n75_a_dick_1952__1->n75_a_dick_1952__1_3 n75_a_dick_1952__1_4 PUNC n75_a_dick_1952__1->n75_a_dick_1952__1_4 n75_a_dick_1952__1_5 PP-SCON n75_a_dick_1952__1->n75_a_dick_1952__1_5 n75_a_dick_1952__1_6 PUNC n75_a_dick_1952__1->n75_a_dick_1952__1_6 n75_a_dick_1952__1_1_1 D n75_a_dick_1952__1_1->n75_a_dick_1952__1_1_1 n75_a_dick_1952__1_1_2 ADJP n75_a_dick_1952__1_1->n75_a_dick_1952__1_1_2 n75_a_dick_1952__1_1_3 ADJP n75_a_dick_1952__1_1->n75_a_dick_1952__1_1_3 n75_a_dick_1952__1_1_4 N n75_a_dick_1952__1_1->n75_a_dick_1952__1_1_4 n75_a_dick_1952__1_1_1->n75_a_dick_1952__1_1_1_1 n75_a_dick_1952__1_1_2_1 ADJ n75_a_dick_1952__1_1_2->n75_a_dick_1952__1_1_2_1 n75_a_dick_1952__1_1_2_1->n75_a_dick_1952__1_1_2_1_1 n75_a_dick_1952__1_1_3_1 ADJ n75_a_dick_1952__1_1_3->n75_a_dick_1952__1_1_3_1 n75_a_dick_1952__1_1_3_1->n75_a_dick_1952__1_1_3_1_1 n75_a_dick_1952__1_1_4->n75_a_dick_1952__1_1_4_1 n75_a_dick_1952__1_2->n75_a_dick_1952__1_2_1 n75_a_dick_1952__1_3_1 VVN;_Tn_ n75_a_dick_1952__1_3->n75_a_dick_1952__1_3_1 n75_a_dick_1952__1_3_2 NP-OB1 n75_a_dick_1952__1_3->n75_a_dick_1952__1_3_2 n75_a_dick_1952__1_3_1->n75_a_dick_1952__1_3_1_1 n75_a_dick_1952__1_3_2_1 D n75_a_dick_1952__1_3_2->n75_a_dick_1952__1_3_2_1 n75_a_dick_1952__1_3_2_2 N n75_a_dick_1952__1_3_2->n75_a_dick_1952__1_3_2_2 n75_a_dick_1952__1_3_2_1->n75_a_dick_1952__1_3_2_1_1 n75_a_dick_1952__1_3_2_2->n75_a_dick_1952__1_3_2_2_1 n75_a_dick_1952__1_4->n75_a_dick_1952__1_4_1 n75_a_dick_1952__1_5_1 IP-PPL n75_a_dick_1952__1_5->n75_a_dick_1952__1_5_1 n75_a_dick_1952__1_5_1_1 VAG;_Tn.p_ n75_a_dick_1952__1_5_1->n75_a_dick_1952__1_5_1_1 n75_a_dick_1952__1_5_1_2 NP-OB1 n75_a_dick_1952__1_5_1->n75_a_dick_1952__1_5_1_2 n75_a_dick_1952__1_5_1_3 ADVP-CLR n75_a_dick_1952__1_5_1->n75_a_dick_1952__1_5_1_3 n75_a_dick_1952__1_5_1_1->n75_a_dick_1952__1_5_1_1_1 n75_a_dick_1952__1_5_1_2_1 PRO n75_a_dick_1952__1_5_1_2->n75_a_dick_1952__1_5_1_2_1 n75_a_dick_1952__1_5_1_2_1->n75_a_dick_1952__1_5_1_2_1_1 n75_a_dick_1952__1_5_1_3_1 ADV n75_a_dick_1952__1_5_1_3->n75_a_dick_1952__1_5_1_3_1 n75_a_dick_1952__1_5_1_3_1->n75_a_dick_1952__1_5_1_3_1_1 n75_a_dick_1952__1_6->n75_a_dick_1952__1_6_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ first;{first}))
                  (ADJP (ADJ atomic;{atomic}))
                  (N shell;{shell}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_Tn_ struck;{strike})
                      (NP-OB1;{SHIP} (D the;{the})
                                     (N ship;{ship})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn.p_ spinning;{spin[around]})
                           (NP-OB1;{SHIP} (PRO it;{it}))
                           (ADVP-CLR (ADV around;{around}))))
          (PUNC .))
  (ID 75_a_dick_1952))