TSPC 316_a_dick

316_a_dick_1952
A slim vane turned with the wind, a network of rods atop a high pole.

( (IP-MAT (NP-SBJ (D A;{a})
                  (ADJP (ADJ slim;{slim}))
                  (N vane;{vane})
                  (PRN *ICH*-193))
          (VBD;_I_ turned;{turn})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D the;{the})
                      (N wind;{wind})))
          (PUNC ,)
          (PRN-EPD-193 (NP (D a;{a})
                           (N network;{network})
                           (PP (P-ROLE of;{of})
                               (NP (NS rods;{rod})
                                   (PP (P-ROLE atop;{atop})
                                       (NP (D a;{a})
                                           (ADJP (ADJ high;{high}))
                                           (N pole;{pole})))))))
          (PUNC .))
  (ID 316_a_dick_1952))

arc(r_0316_0001__A_r_0316_0003__vane,r_0316_0002__slim,attrib).
arc(r_0316_0004__turned,r_0316_0001__A_r_0316_0003__vane,arg0).
arc(r_0316_0004__turned,r_0316_0006__the_r_0316_0007__wind,r_0316_0005__with__nim).
arc(r_0316_0009__a_r_0316_0010__network,r_0316_0012__rods,r_0316_0011__of).
arc(r_0316_0012__rods,r_0316_0014__a_r_0316_0016__pole,r_0316_0013__atop).
arc(r_0316_0014__a_r_0316_0016__pole,r_0316_0015__high,attrib).
arc(z_0316_5007,r_0316_0001__A_r_0316_0003__vane,arg0).
arc(z_0316_5007,r_0316_0009__a_r_0316_0010__network,prd).

fof(formula,axiom,
    ? [R_0316_0002__SLIM,R_0316_0001__A_R_0316_0003__VANE,R_0316_0006__THE_R_0316_0007__WIND,R_0316_0004__TURNED,R_0316_0015__HIGH,R_0316_0014__A_R_0316_0016__POLE,R_0316_0012__RODS,R_0316_0009__A_R_0316_0010__NETWORK,Z_0316_5007] :
      ( r_0316_0002__slim(R_0316_0002__SLIM)
      & r_0316_0006__the_r_0316_0007__wind(R_0316_0006__THE_R_0316_0007__WIND)
      & r_0316_0015__high(R_0316_0015__HIGH)
      & z_0316_5007(Z_0316_5007)
      & has_prd(Z_0316_5007,R_0316_0009__A_R_0316_0010__NETWORK)
      & r_0316_0009__a_r_0316_0010__network(R_0316_0009__A_R_0316_0010__NETWORK)
      & has_r_0316_0011__of(R_0316_0009__A_R_0316_0010__NETWORK,R_0316_0012__RODS)
      & r_0316_0012__rods(R_0316_0012__RODS)
      & has_r_0316_0013__atop(R_0316_0012__RODS,R_0316_0014__A_R_0316_0016__POLE)
      & r_0316_0014__a_r_0316_0016__pole(R_0316_0014__A_R_0316_0016__POLE)
      & has_attrib(R_0316_0014__A_R_0316_0016__POLE,R_0316_0015__HIGH)
      & has_arg0(Z_0316_5007,R_0316_0001__A_R_0316_0003__VANE)
      & r_0316_0001__A_r_0316_0003__vane(R_0316_0001__A_R_0316_0003__VANE)
      & has_attrib(R_0316_0001__A_R_0316_0003__VANE,R_0316_0002__SLIM)
      & r_0316_0004__turned(R_0316_0004__TURNED)
      & has_r_0316_0005__with__nim(R_0316_0004__TURNED,R_0316_0006__THE_R_0316_0007__WIND)
      & has_arg0(R_0316_0004__TURNED,R_0316_0001__A_R_0316_0003__VANE) ) ).