430_a_dick_1952
The steps were thick with dust and rubble.
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).
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) ) ).
( (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))