430_a_dick_1952
The steps were thick with dust and rubble.

%3 r_0430_0003__were were r_0430_0001__The_r_0430_0002__steps The steps r_0430_0003__were->r_0430_0001__The_r_0430_0002__steps [arg0] r_0430_0004__thick thick r_0430_0003__were->r_0430_0004__thick [prd] r_0430_0007__and and r_0430_0004__thick->r_0430_0007__and with r_0430_0006__dust dust r_0430_0007__and->r_0430_0006__dust [conj1] r_0430_0008__rubble rubble r_0430_0007__and->r_0430_0008__rubble [conj2]
arc(r_0430_0003__were, r_0430_0001__The_r_0430_0002__steps, arg0).
arc(r_0430_0003__were, r_0430_0004__thick, prd).
arc(r_0430_0004__thick, r_0430_0007__and, r_0430_0005__with).
arc(r_0430_0007__and, r_0430_0006__dust, conj1).
arc(r_0430_0007__and, r_0430_0008__rubble, conj2).



%3 r_0430_0003__were were r_0430_0001__The_r_0430_0002__steps The steps r_0430_0003__were->r_0430_0001__The_r_0430_0002__steps [arg0] r_0430_0004__thick thick r_0430_0003__were->r_0430_0004__thick [prd] r_0430_0007__and and r_0430_0004__thick->r_0430_0007__and with r_0430_0006__dust dust r_0430_0007__and->r_0430_0006__dust [conj1] r_0430_0008__rubble rubble r_0430_0007__and->r_0430_0008__rubble [conj2]
fof(formula,axiom,
    ? [R_430_3_WERE,R_430_1_THE_STEPS,R_430_4_THICK,R_430_7_AND,R_430_6_DUST,R_430_8_RUBBLE] :
      ( the_steps(R_430_1_THE_STEPS)
      & dust(R_430_6_DUST)
      & rubble(R_430_8_RUBBLE)
      & were(R_430_3_WERE,R_430_1_THE_STEPS,R_430_4_THICK)
      & thick(R_430_4_THICK)
      & with(R_430_4_THICK,R_430_7_AND)
      & and(R_430_7_AND)
      & conj1(R_430_7_AND,R_430_6_DUST)
      & conj2(R_430_7_AND,R_430_8_RUBBLE) ) ).



n430_a_dick_1952 n430_a_dick_1952_4 The n430_a_dick_1952_6 steps n430_a_dick_1952_8 were n430_a_dick_1952_11 thick n430_a_dick_1952_14 with n430_a_dick_1952_19 dust n430_a_dick_1952_22 and n430_a_dick_1952_25 rubble n430_a_dick_1952_27 . n430_a_dick_1952_1 IP-MAT n430_a_dick_1952_2 NP-SBJ n430_a_dick_1952_1->n430_a_dick_1952_2 n430_a_dick_1952_7 BED;_La_ n430_a_dick_1952_1->n430_a_dick_1952_7 n430_a_dick_1952_9 ADJP-PRD n430_a_dick_1952_1->n430_a_dick_1952_9 n430_a_dick_1952_26 PUNC n430_a_dick_1952_1->n430_a_dick_1952_26 n430_a_dick_1952_3 D n430_a_dick_1952_2->n430_a_dick_1952_3 n430_a_dick_1952_5 NS n430_a_dick_1952_2->n430_a_dick_1952_5 n430_a_dick_1952_3->n430_a_dick_1952_4 n430_a_dick_1952_5->n430_a_dick_1952_6 n430_a_dick_1952_7->n430_a_dick_1952_8 n430_a_dick_1952_10 ADJ n430_a_dick_1952_9->n430_a_dick_1952_10 n430_a_dick_1952_12 PP n430_a_dick_1952_9->n430_a_dick_1952_12 n430_a_dick_1952_10->n430_a_dick_1952_11 n430_a_dick_1952_13 P-ROLE n430_a_dick_1952_12->n430_a_dick_1952_13 n430_a_dick_1952_15 NP n430_a_dick_1952_12->n430_a_dick_1952_15 n430_a_dick_1952_13->n430_a_dick_1952_14 n430_a_dick_1952_16 NLYR n430_a_dick_1952_15->n430_a_dick_1952_16 n430_a_dick_1952_17 NLYR n430_a_dick_1952_16->n430_a_dick_1952_17 n430_a_dick_1952_20 CONJP n430_a_dick_1952_16->n430_a_dick_1952_20 n430_a_dick_1952_18 N n430_a_dick_1952_17->n430_a_dick_1952_18 n430_a_dick_1952_18->n430_a_dick_1952_19 n430_a_dick_1952_21 CONJ n430_a_dick_1952_20->n430_a_dick_1952_21 n430_a_dick_1952_23 NLYR n430_a_dick_1952_20->n430_a_dick_1952_23 n430_a_dick_1952_21->n430_a_dick_1952_22 n430_a_dick_1952_24 N n430_a_dick_1952_23->n430_a_dick_1952_24 n430_a_dick_1952_24->n430_a_dick_1952_25 n430_a_dick_1952_26->n430_a_dick_1952_27
( (IP-MAT (NP-SBJ (D The;{the})
                  (NS steps;{step}))
          (BED;_La_ were;{be})
          (ADJP-PRD (ADJ thick;{thick})
                    (PP (P-ROLE with;{with})
                        (NP (NLYR (NLYR (N dust;{dust}))
                                  (CONJP (CONJ and;{and})
                                         (NLYR (N rubble;{rubble})))))))
          (PUNC .))
  (ID 430_a_dick_1952))