TSPC 254_a_dick

254_a_dick_1952
The huge concrete piers which they had noticed were not piers at all, but the ruined foundations of buildings.

( (IP-MAT (NP-SBJ;{PIERS} (D The;{the})
                          (ADJP (ADJ huge;{huge}))
                          (N concrete;{concrete})
                          (NS piers;{pier})
                          (IP-REL (NP-201 (RPRO which;{which}))
                                  (NP-SBJ;{DORLE+NASHA+TANCE} (PRO they;{they}))
                                  (HVD;_cat_Ve_ had;{have})
                                  (IP-PPL-CAT (NP-OB1 *ICH*-201)
                                              (VVN;_Tn_ noticed;{notice}))))
          (ILYR (ILYR (BED;_Ln_ were;{be})
                      (NEG not;{not})
                      (NP-PRD (NS piers;{pier}))
                      (ADVP-NIM (ADV at_all;{at_all})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-PRD (D the;{the})
                                     (ADJP (ADJ ruined;{ruined}))
                                     (NS foundations;{foundation})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS buildings;{building})))))))
          (PUNC .))
  (ID 254_a_dick_1952))

arc(r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers,r_0254_0002__huge,attrib).
arc(r_0254_0007__had,r_0254_0008__noticed,scope).
arc(r_0254_0008__noticed,r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers,arg1).
arc(r_0254_0008__noticed,r_0254_0006__they,arg0).
arc(r_0254_0009__were,r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers,arg0).
arc(r_0254_0009__were,r_0254_0011__piers,prd).
arc(r_0254_0009__were,r_0254_0012__at_all,nim).
arc(r_0254_0010__not,r_0254_0009__were,keep_scope).
arc(r_0254_0014__but,r_0254_0010__not,conj1).
arc(r_0254_0014__but,z_0254_5013,conj2).
arc(r_0254_0015__the_r_0254_0017__foundations,r_0254_0016__ruined,attrib).
arc(r_0254_0015__the_r_0254_0017__foundations,r_0254_0019__buildings,r_0254_0018__of).
arc(z_0254_5013,r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers,arg0).
arc(z_0254_5013,r_0254_0015__the_r_0254_0017__foundations,prd).

fof(formula,axiom,
    ? [R_0254_0002__HUGE,R_0254_0001__THE_R_0254_0003__CONCRETE_R_0254_0004__PIERS,R_0254_0006__THEY,R_0254_0007__HAD_R_0254_0008__NOTICED,R_0254_0016__RUINED,R_0254_0019__BUILDINGS,R_0254_0015__THE_R_0254_0017__FOUNDATIONS,Z_0254_5013,R_0254_0014__BUT] :
      ( r_0254_0002__huge(R_0254_0002__HUGE)
      & r_0254_0006__they(R_0254_0006__THEY)
      & r_0254_0016__ruined(R_0254_0016__RUINED)
      & r_0254_0019__buildings(R_0254_0019__BUILDINGS)
      & r_0254_0014__but(R_0254_0014__BUT)
      & has_conj2(R_0254_0014__BUT,Z_0254_5013)
      & z_0254_5013(Z_0254_5013)
      & has_prd(Z_0254_5013,R_0254_0015__THE_R_0254_0017__FOUNDATIONS)
      & r_0254_0015__the_r_0254_0017__foundations(R_0254_0015__THE_R_0254_0017__FOUNDATIONS)
      & has_r_0254_0018__of(R_0254_0015__THE_R_0254_0017__FOUNDATIONS,R_0254_0019__BUILDINGS)
      & has_attrib(R_0254_0015__THE_R_0254_0017__FOUNDATIONS,R_0254_0016__RUINED)
      & has_arg0(Z_0254_5013,R_0254_0001__THE_R_0254_0003__CONCRETE_R_0254_0004__PIERS)
      & r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers(R_0254_0001__THE_R_0254_0003__CONCRETE_R_0254_0004__PIERS)
      & has_attrib(R_0254_0001__THE_R_0254_0003__CONCRETE_R_0254_0004__PIERS,R_0254_0002__HUGE)
      & has_conj1(R_0254_0014__BUT,R_0254_0010__NOT)
      & ~ ? [R_0254_0011__PIERS,R_0254_0012__AT_ALL,R_0254_0009__WERE] :
            ( r_0254_0011__piers(R_0254_0011__PIERS)
            & r_0254_0012__at_all(R_0254_0012__AT_ALL)
            & r_0254_0009__were(R_0254_0009__WERE)
            & has_nim(R_0254_0009__WERE,R_0254_0012__AT_ALL)
            & has_prd(R_0254_0009__WERE,R_0254_0011__PIERS)
            & has_arg0(R_0254_0009__WERE,R_0254_0001__THE_R_0254_0003__CONCRETE_R_0254_0004__PIERS) )
      & ~ ( has_arg0(R_0254_0007__HAD_R_0254_0008__NOTICED,R_0254_0006__THEY)
          & has_arg1(R_0254_0007__HAD_R_0254_0008__NOTICED,R_0254_0001__THE_R_0254_0003__CONCRETE_R_0254_0004__PIERS) ) ) ).