TSPC 75_a_dick

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

( (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))

arc(r_0075_0001__The_r_0075_0004__shell,r_0075_0002__first,attrib).
arc(r_0075_0001__The_r_0075_0004__shell,r_0075_0003__atomic,attrib).
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_0012__around,r_0075_0001__The_r_0075_0004__shell,arg0).
arc(r_0075_0010__spinning_r_0075_0012__around,r_0075_0007__the_r_0075_0008__ship,arg1).
arc(z_0075_5004,r_0075_0005__had,scope).
arc(z_0075_5004,r_0075_0010__spinning_r_0075_0012__around,restriction).

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_0010__SPINNING_R_0075_0012__AROUND,Z_0075_5004] :
      ( 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)
      & z_0075_5004(Z_0075_5004)
      & has_conj1(Z_0075_5004,R_0075_0010__SPINNING_R_0075_0012__AROUND)
      & r_0075_0010__spinning_r_0075_0012__around(R_0075_0010__SPINNING_R_0075_0012__AROUND)
      & has_arg1(R_0075_0010__SPINNING_R_0075_0012__AROUND,R_0075_0007__THE_R_0075_0008__SHIP)
      & has_arg0(R_0075_0010__SPINNING_R_0075_0012__AROUND,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_attrib(R_0075_0001__THE_R_0075_0004__SHELL,R_0075_0003__ATOMIC)
      & has_attrib(R_0075_0001__THE_R_0075_0004__SHELL,R_0075_0002__FIRST)
      & has_conj2(Z_0075_5004,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) ) ).