TSPC 615_a_dick

615_a_dick_1952
Down below, in the center of the ruined city, a single half - broken detector vane moved slightly, catching the roar of the ship.

( (IP-MAT (ADVP-NIM (ADVP (RP Down;{down}))
                    (ADV below;{below}))
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N center;{center})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (ADJP (ADJ ruined;{ruined}))
                              (N city;{city})))))
          (PUNC ,)
          (NP-SBJ (D a;{a})
                  (ADJP (ADJ single;{single}))
                  (IP-PPL (NP-LGS *)
                          (ADVP-NIM (ADV half;{half}))
                          (PUNC <hyphen>)
                          (VVN;_Tn_ broken;{break}))
                  (N detector;{detector})
                  (N vane;{vane}))
          (VBD;_I_ moved;{move})
          (ADVP-NIM (ADV slightly;{slightly}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ catching;{catch})
                           (NP-OB1 (D the;{the})
                                   (N roar;{roar})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (N ship;{ship}))))))
          (PUNC .))
  (ID 615_a_dick_1952))

arc(r_0615_0002__below,r_0615_0001__Down,qual).
arc(r_0615_0005__the_r_0615_0006__center,r_0615_0008__the_r_0615_0010__city,r_0615_0007__of).
arc(r_0615_0008__the_r_0615_0010__city,r_0615_0009__ruined,attrib).
arc(r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane,r_0615_0013__single,attrib).
arc(r_0615_0016__broken,r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane,inv_arg1).
arc(r_0615_0016__broken,r_0615_0014__half,nim).
arc(r_0615_0016__broken,z_0615_5009___star_,arg0).
arc(r_0615_0019__moved,r_0615_0002__below,nim).
arc(r_0615_0019__moved,r_0615_0005__the_r_0615_0006__center,r_0615_0004__in__nim).
arc(r_0615_0019__moved,r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane,arg0).
arc(r_0615_0019__moved,r_0615_0020__slightly,nim).
arc(r_0615_0022__catching,r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane,arg0).
arc(r_0615_0022__catching,r_0615_0023__the_r_0615_0024__roar,arg1).
arc(r_0615_0023__the_r_0615_0024__roar,r_0615_0026__the_r_0615_0027__ship,r_0615_0025__of).
arc(z_0615_5011,r_0615_0019__moved,scope).
arc(z_0615_5011,r_0615_0022__catching,restriction).

fof(formula,axiom,
    ? [R_0615_0001__DOWN,R_0615_0002__BELOW,R_0615_0009__RUINED,R_0615_0008__THE_R_0615_0010__CITY,R_0615_0005__THE_R_0615_0006__CENTER,R_0615_0013__SINGLE,R_0615_0014__HALF,Z_0615_5009___STAR_,R_0615_0016__BROKEN,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE,R_0615_0020__SLIGHTLY,R_0615_0019__MOVED,R_0615_0026__THE_R_0615_0027__SHIP,R_0615_0023__THE_R_0615_0024__ROAR,R_0615_0022__CATCHING,Z_0615_5011] :
      ( r_0615_0001__Down(R_0615_0001__DOWN)
      & r_0615_0009__ruined(R_0615_0009__RUINED)
      & r_0615_0013__single(R_0615_0013__SINGLE)
      & r_0615_0014__half(R_0615_0014__HALF)
      & r_0615_0020__slightly(R_0615_0020__SLIGHTLY)
      & r_0615_0026__the_r_0615_0027__ship(R_0615_0026__THE_R_0615_0027__SHIP)
      & z_0615_5009___star_(Z_0615_5009___STAR_)
      & z_0615_5011(Z_0615_5011)
      & has_conj1(Z_0615_5011,R_0615_0022__CATCHING)
      & r_0615_0022__catching(R_0615_0022__CATCHING)
      & has_arg1(R_0615_0022__CATCHING,R_0615_0023__THE_R_0615_0024__ROAR)
      & r_0615_0023__the_r_0615_0024__roar(R_0615_0023__THE_R_0615_0024__ROAR)
      & has_r_0615_0025__of(R_0615_0023__THE_R_0615_0024__ROAR,R_0615_0026__THE_R_0615_0027__SHIP)
      & has_arg0(R_0615_0022__CATCHING,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE)
      & r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane(R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE)
      & has_inv_arg1(R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE,R_0615_0016__BROKEN)
      & r_0615_0016__broken(R_0615_0016__BROKEN)
      & has_arg0(R_0615_0016__BROKEN,Z_0615_5009___STAR_)
      & has_nim(R_0615_0016__BROKEN,R_0615_0014__HALF)
      & has_attrib(R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE,R_0615_0013__SINGLE)
      & has_conj2(Z_0615_5011,R_0615_0019__MOVED)
      & r_0615_0019__moved(R_0615_0019__MOVED)
      & has_nim(R_0615_0019__MOVED,R_0615_0020__SLIGHTLY)
      & has_arg0(R_0615_0019__MOVED,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE)
      & has_r_0615_0004__in__nim(R_0615_0019__MOVED,R_0615_0005__THE_R_0615_0006__CENTER)
      & r_0615_0005__the_r_0615_0006__center(R_0615_0005__THE_R_0615_0006__CENTER)
      & has_r_0615_0007__of(R_0615_0005__THE_R_0615_0006__CENTER,R_0615_0008__THE_R_0615_0010__CITY)
      & r_0615_0008__the_r_0615_0010__city(R_0615_0008__THE_R_0615_0010__CITY)
      & has_attrib(R_0615_0008__THE_R_0615_0010__CITY,R_0615_0009__RUINED)
      & has_nim(R_0615_0019__MOVED,R_0615_0002__BELOW)
      & r_0615_0002__below(R_0615_0002__BELOW)
      & has_qual(R_0615_0002__BELOW,R_0615_0001__DOWN) ) ).