Context                Previous, Next                Top


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

%3 r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers The concrete piers r_0254_0002__huge huge r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers->r_0254_0002__huge [attrib] r_0254_0007__had had r_0254_0008__noticed noticed r_0254_0007__had->r_0254_0008__noticed [scope] r_0254_0008__noticed->r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers [arg1] r_0254_0006__they they r_0254_0008__noticed->r_0254_0006__they [arg0] r_0254_0009__were were r_0254_0009__were->r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers [arg0] r_0254_0011__piers piers r_0254_0009__were->r_0254_0011__piers [prd] r_0254_0012__at_all at all r_0254_0009__were->r_0254_0012__at_all [nim] r_0254_0010__not not r_0254_0010__not->r_0254_0009__were [keep_scope] r_0254_0014__but but r_0254_0014__but->r_0254_0010__not [conj1] z_000_254_a_dick_1952_43 r_0254_0014__but->z_000_254_a_dick_1952_43 [conj2] z_000_254_a_dick_1952_43->r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers [arg0] r_0254_0015__the_r_0254_0017__foundations the foundations z_000_254_a_dick_1952_43->r_0254_0015__the_r_0254_0017__foundations [prd] r_0254_0016__ruined ruined r_0254_0015__the_r_0254_0017__foundations->r_0254_0016__ruined [attrib] r_0254_0019__buildings buildings r_0254_0015__the_r_0254_0017__foundations->r_0254_0019__buildings of 
arc(r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers, r_0254_0002__huge, attrib5).
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, nim35).
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_000_254_a_dick_1952_43, conj2).
arc(r_0254_0015__the_r_0254_0017__foundations, r_0254_0016__ruined, attrib47).
arc(r_0254_0015__the_r_0254_0017__foundations, r_0254_0019__buildings, r_0254_0018__of).
arc(z_000_254_a_dick_1952_43, r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers, arg0).
arc(z_000_254_a_dick_1952_43, r_0254_0015__the_r_0254_0017__foundations, prd).


%3 z_000_254_a_dick_1952_43 r_0254_0015__the_r_0254_0017__foundations the foundations z_000_254_a_dick_1952_43->r_0254_0015__the_r_0254_0017__foundations [prd] r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers The concrete piers z_000_254_a_dick_1952_43->r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers [arg0] r_0254_0019__buildings buildings r_0254_0015__the_r_0254_0017__foundations->r_0254_0019__buildings of r_0254_0016__ruined ruined r_0254_0015__the_r_0254_0017__foundations->r_0254_0016__ruined [attrib] r_0254_0002__huge huge r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers->r_0254_0002__huge [attrib] r_0254_0014__but but r_0254_0014__but->z_000_254_a_dick_1952_43 [conj2] r_0254_0010__not not r_0254_0014__but->r_0254_0010__not [conj1] r_0254_0009__were were r_0254_0010__not->r_0254_0009__were [keep_scope] r_0254_0009__were->r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers [arg0] r_0254_0012__at_all at all r_0254_0009__were->r_0254_0012__at_all [nim] r_0254_0011__piers piers r_0254_0009__were->r_0254_0011__piers [prd] r_0254_0007__had_r_0254_0008__noticed had noticed r_0254_0007__had_r_0254_0008__noticed->r_0254_0001__The_r_0254_0003__concrete_r_0254_0004__piers [arg1] r_0254_0006__they they r_0254_0007__had_r_0254_0008__noticed->r_0254_0006__they [arg0] 
fof(formula,axiom,
    ? [R_254_7_HAD_NOTICED,R_254_6_THEY,R_254_14_BUT,Z_254_A_DICK_1952_43,R_254_1_THE_CONCRETE_PIERS,R_254_2_HUGE,R_254_15_THE_FOUNDATIONS,R_254_16_RUINED,R_254_19_BUILDINGS] :
      ( they(R_254_6_THEY)
      & huge(R_254_2_HUGE)
      & ruined(R_254_16_RUINED)
      & buildings(R_254_19_BUILDINGS)
      & had_noticed(R_254_7_HAD_NOTICED,R_254_6_THEY,R_254_1_THE_CONCRETE_PIERS)
      & the_concrete_piers(R_254_1_THE_CONCRETE_PIERS)
      & attrib5(R_254_1_THE_CONCRETE_PIERS,R_254_2_HUGE)
      & but(R_254_14_BUT)
      & conj1(R_254_14_BUT,R_254_10_NOT)
      & ~ ? [R_254_9_WERE,R_254_12_AT_ALL,R_254_11_PIERS] :
            ( at_all(R_254_12_AT_ALL)
            & piers(R_254_11_PIERS)
            & were(R_254_9_WERE,R_254_1_THE_CONCRETE_PIERS,R_254_11_PIERS)
            & nim35(R_254_9_WERE,R_254_12_AT_ALL) )
      & conj2(R_254_14_BUT,Z_254_A_DICK_1952_43)
      & z_254_a_dick_1952_43(Z_254_A_DICK_1952_43,R_254_1_THE_CONCRETE_PIERS,R_254_15_THE_FOUNDATIONS)
      & the_foundations(R_254_15_THE_FOUNDATIONS)
      & attrib47(R_254_15_THE_FOUNDATIONS,R_254_16_RUINED)
      & of(R_254_15_THE_FOUNDATIONS,R_254_19_BUILDINGS) ) ).


n254_a_dick_1952 n254_a_dick_1952__1_1_1_1 The n254_a_dick_1952__1_1_2_1_1 huge n254_a_dick_1952__1_1_3_1 concrete n254_a_dick_1952__1_1_4_1 piers n254_a_dick_1952__1_1_5_1_1_1 which n254_a_dick_1952__1_1_5_2_1_1 they n254_a_dick_1952__1_1_5_3_1 had n254_a_dick_1952__1_1_5_4_1_1 *ICH*-201 n254_a_dick_1952__1_1_5_4_2_1 noticed n254_a_dick_1952__1_2_1_1_1 were n254_a_dick_1952__1_2_1_2_1 not n254_a_dick_1952__1_2_1_3_1_1 piers n254_a_dick_1952__1_2_1_4_1_1 at_all n254_a_dick_1952__1_2_2_1 , n254_a_dick_1952__1_2_3_1_1 but n254_a_dick_1952__1_2_3_2_1_1_1 the n254_a_dick_1952__1_2_3_2_1_2_1_1 ruined n254_a_dick_1952__1_2_3_2_1_3_1 foundations n254_a_dick_1952__1_2_3_2_1_4_1_1 of n254_a_dick_1952__1_2_3_2_1_4_2_1_1 buildings n254_a_dick_1952__1_3_1 . n254_a_dick_1952__1 IP-MAT n254_a_dick_1952__1_1 NP-SBJ n254_a_dick_1952__1->n254_a_dick_1952__1_1 n254_a_dick_1952__1_2 ILYR n254_a_dick_1952__1->n254_a_dick_1952__1_2 n254_a_dick_1952__1_3 PUNC n254_a_dick_1952__1->n254_a_dick_1952__1_3 n254_a_dick_1952__1_1_1 D n254_a_dick_1952__1_1->n254_a_dick_1952__1_1_1 n254_a_dick_1952__1_1_2 ADJP n254_a_dick_1952__1_1->n254_a_dick_1952__1_1_2 n254_a_dick_1952__1_1_3 N n254_a_dick_1952__1_1->n254_a_dick_1952__1_1_3 n254_a_dick_1952__1_1_4 NS n254_a_dick_1952__1_1->n254_a_dick_1952__1_1_4 n254_a_dick_1952__1_1_5 IP-REL n254_a_dick_1952__1_1->n254_a_dick_1952__1_1_5 n254_a_dick_1952__1_1_1->n254_a_dick_1952__1_1_1_1 n254_a_dick_1952__1_1_2_1 ADJ n254_a_dick_1952__1_1_2->n254_a_dick_1952__1_1_2_1 n254_a_dick_1952__1_1_2_1->n254_a_dick_1952__1_1_2_1_1 n254_a_dick_1952__1_1_3->n254_a_dick_1952__1_1_3_1 n254_a_dick_1952__1_1_4->n254_a_dick_1952__1_1_4_1 n254_a_dick_1952__1_1_5_1 NP-201 n254_a_dick_1952__1_1_5->n254_a_dick_1952__1_1_5_1 n254_a_dick_1952__1_1_5_2 NP-SBJ n254_a_dick_1952__1_1_5->n254_a_dick_1952__1_1_5_2 n254_a_dick_1952__1_1_5_3 HVD;_cat_Ve_ n254_a_dick_1952__1_1_5->n254_a_dick_1952__1_1_5_3 n254_a_dick_1952__1_1_5_4 IP-PPL-CAT n254_a_dick_1952__1_1_5->n254_a_dick_1952__1_1_5_4 n254_a_dick_1952__1_1_5_1_1 RPRO n254_a_dick_1952__1_1_5_1->n254_a_dick_1952__1_1_5_1_1 n254_a_dick_1952__1_1_5_1_1->n254_a_dick_1952__1_1_5_1_1_1 n254_a_dick_1952__1_1_5_2_1 PRO n254_a_dick_1952__1_1_5_2->n254_a_dick_1952__1_1_5_2_1 n254_a_dick_1952__1_1_5_2_1->n254_a_dick_1952__1_1_5_2_1_1 n254_a_dick_1952__1_1_5_3->n254_a_dick_1952__1_1_5_3_1 n254_a_dick_1952__1_1_5_4_1 NP-OB1 n254_a_dick_1952__1_1_5_4->n254_a_dick_1952__1_1_5_4_1 n254_a_dick_1952__1_1_5_4_2 VVN;_Tn_ n254_a_dick_1952__1_1_5_4->n254_a_dick_1952__1_1_5_4_2 n254_a_dick_1952__1_1_5_4_1->n254_a_dick_1952__1_1_5_4_1_1 n254_a_dick_1952__1_1_5_4_2->n254_a_dick_1952__1_1_5_4_2_1 n254_a_dick_1952__1_2_1 ILYR n254_a_dick_1952__1_2->n254_a_dick_1952__1_2_1 n254_a_dick_1952__1_2_2 PUNC n254_a_dick_1952__1_2->n254_a_dick_1952__1_2_2 n254_a_dick_1952__1_2_3 CONJP n254_a_dick_1952__1_2->n254_a_dick_1952__1_2_3 n254_a_dick_1952__1_2_1_1 BED;_Ln_ n254_a_dick_1952__1_2_1->n254_a_dick_1952__1_2_1_1 n254_a_dick_1952__1_2_1_2 NEG n254_a_dick_1952__1_2_1->n254_a_dick_1952__1_2_1_2 n254_a_dick_1952__1_2_1_3 NP-PRD n254_a_dick_1952__1_2_1->n254_a_dick_1952__1_2_1_3 n254_a_dick_1952__1_2_1_4 ADVP-NIM n254_a_dick_1952__1_2_1->n254_a_dick_1952__1_2_1_4 n254_a_dick_1952__1_2_1_1->n254_a_dick_1952__1_2_1_1_1 n254_a_dick_1952__1_2_1_2->n254_a_dick_1952__1_2_1_2_1 n254_a_dick_1952__1_2_1_3_1 NS n254_a_dick_1952__1_2_1_3->n254_a_dick_1952__1_2_1_3_1 n254_a_dick_1952__1_2_1_3_1->n254_a_dick_1952__1_2_1_3_1_1 n254_a_dick_1952__1_2_1_4_1 ADV n254_a_dick_1952__1_2_1_4->n254_a_dick_1952__1_2_1_4_1 n254_a_dick_1952__1_2_1_4_1->n254_a_dick_1952__1_2_1_4_1_1 n254_a_dick_1952__1_2_2->n254_a_dick_1952__1_2_2_1 n254_a_dick_1952__1_2_3_1 CONJ n254_a_dick_1952__1_2_3->n254_a_dick_1952__1_2_3_1 n254_a_dick_1952__1_2_3_2 ILYR n254_a_dick_1952__1_2_3->n254_a_dick_1952__1_2_3_2 n254_a_dick_1952__1_2_3_1->n254_a_dick_1952__1_2_3_1_1 n254_a_dick_1952__1_2_3_2_1 NP-PRD n254_a_dick_1952__1_2_3_2->n254_a_dick_1952__1_2_3_2_1 n254_a_dick_1952__1_2_3_2_1_1 D n254_a_dick_1952__1_2_3_2_1->n254_a_dick_1952__1_2_3_2_1_1 n254_a_dick_1952__1_2_3_2_1_2 ADJP n254_a_dick_1952__1_2_3_2_1->n254_a_dick_1952__1_2_3_2_1_2 n254_a_dick_1952__1_2_3_2_1_3 NS n254_a_dick_1952__1_2_3_2_1->n254_a_dick_1952__1_2_3_2_1_3 n254_a_dick_1952__1_2_3_2_1_4 PP n254_a_dick_1952__1_2_3_2_1->n254_a_dick_1952__1_2_3_2_1_4 n254_a_dick_1952__1_2_3_2_1_1->n254_a_dick_1952__1_2_3_2_1_1_1 n254_a_dick_1952__1_2_3_2_1_2_1 ADJ n254_a_dick_1952__1_2_3_2_1_2->n254_a_dick_1952__1_2_3_2_1_2_1 n254_a_dick_1952__1_2_3_2_1_2_1->n254_a_dick_1952__1_2_3_2_1_2_1_1 n254_a_dick_1952__1_2_3_2_1_3->n254_a_dick_1952__1_2_3_2_1_3_1 n254_a_dick_1952__1_2_3_2_1_4_1 P-ROLE n254_a_dick_1952__1_2_3_2_1_4->n254_a_dick_1952__1_2_3_2_1_4_1 n254_a_dick_1952__1_2_3_2_1_4_2 NP n254_a_dick_1952__1_2_3_2_1_4->n254_a_dick_1952__1_2_3_2_1_4_2 n254_a_dick_1952__1_2_3_2_1_4_1->n254_a_dick_1952__1_2_3_2_1_4_1_1 n254_a_dick_1952__1_2_3_2_1_4_2_1 NS n254_a_dick_1952__1_2_3_2_1_4_2->n254_a_dick_1952__1_2_3_2_1_4_2_1 n254_a_dick_1952__1_2_3_2_1_4_2_1->n254_a_dick_1952__1_2_3_2_1_4_2_1_1 n254_a_dick_1952__1_3->n254_a_dick_1952__1_3_1 
( (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))