430_a_dick_1952
The steps were thick with dust and 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))
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_0430_0001__THE_R_0430_0002__STEPS,R_0430_0006__DUST,R_0430_0008__RUBBLE,R_0430_0007__AND,R_0430_0004__THICK,R_0430_0003__WERE] :
( r_0430_0001__The_r_0430_0002__steps(R_0430_0001__THE_R_0430_0002__STEPS)
& r_0430_0006__dust(R_0430_0006__DUST)
& r_0430_0008__rubble(R_0430_0008__RUBBLE)
& r_0430_0003__were(R_0430_0003__WERE)
& has_prd(R_0430_0003__WERE,R_0430_0004__THICK)
& r_0430_0004__thick(R_0430_0004__THICK)
& has_r_0430_0005__with(R_0430_0004__THICK,R_0430_0007__AND)
& r_0430_0007__and(R_0430_0007__AND)
& has_conj2(R_0430_0007__AND,R_0430_0008__RUBBLE)
& has_conj1(R_0430_0007__AND,R_0430_0006__DUST)
& has_arg0(R_0430_0003__WERE,R_0430_0001__THE_R_0430_0002__STEPS) ) ).