48_a_dick_1952
Mile after mile of unbroken ruin stretched out, blackened slag, pitted and scarred, and occasional heaps of rock.
( (IP-MAT (NP-SBJ (N Mile;{mile})
(PP (P-ROLE after;{after})
(NP (N mile;{mile})))
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ unbroken;{unbroken}))
(N ruin;{ruin})
(PRN *ICH*-161))))
(VBD;_Ip_ stretched;{stretch[out]})
(ADVP-CLR (RP out;{out}))
(PUNC ,)
(PRN-EPD-161 (NP (NLYR (NLYR (IP-PPL (NP-LGS *)
(VVN;_Tn_ blackened;{blackened}))
(N slag;{slag})
(PUNC ,)
(IP-PPL (NP-LGS *)
(ILYR (ILYR (VVN;_Tn_ pitted;{pitted}))
(CONJP (CONJ and;{and})
(ILYR (VVN;_Tn_ scarred;{scarred}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ occasional;{occasional}))
(NS heaps;{heap})
(PP (P-ROLE of;{of})
(NP (N rock;{rock}))))))))
(PUNC .))
(ID 48_a_dick_1952))
arc(r_0048_0001__Mile,r_0048_0003__mile,r_0048_0002__after).
arc(r_0048_0001__Mile,r_0048_0006__ruin,r_0048_0004__of).
arc(r_0048_0006__ruin,r_0048_0005__unbroken,attrib).
arc(r_0048_0007__stretched_r_0048_0008__out,r_0048_0001__Mile,arg0).
arc(r_0048_0010__blackened,r_0048_0011__slag,inv_arg1).
arc(r_0048_0010__blackened,z_0048_5007___star_,arg0).
arc(r_0048_0013__pitted,r_0048_0011__slag,inv_arg1).
arc(r_0048_0013__pitted,z_0048_5009___star_,arg0).
arc(r_0048_0014__and,r_0048_0013__pitted,conj1).
arc(r_0048_0014__and,r_0048_0015__scarred,conj2).
arc(r_0048_0015__scarred,r_0048_0011__slag,inv_arg1).
arc(r_0048_0015__scarred,z_0048_5009___star_,arg0).
arc(r_0048_0017__and,r_0048_0011__slag,conj1).
arc(r_0048_0017__and,r_0048_0019__heaps,conj2).
arc(r_0048_0019__heaps,r_0048_0018__occasional,attrib).
arc(r_0048_0019__heaps,r_0048_0021__rock,r_0048_0020__of).
arc(z_0048_5016,r_0048_0006__ruin,arg0).
arc(z_0048_5016,r_0048_0017__and,prd).
fof(formula,axiom,
? [R_0048_0003__MILE,R_0048_0005__UNBROKEN,R_0048_0006__RUIN,R_0048_0001__MILE,R_0048_0007__STRETCHED_R_0048_0008__OUT,Z_0048_5009___STAR_,R_0048_0013__PITTED,R_0048_0015__SCARRED,R_0048_0014__AND,Z_0048_5007___STAR_,R_0048_0010__BLACKENED,R_0048_0011__SLAG,R_0048_0018__OCCASIONAL,R_0048_0021__ROCK,R_0048_0019__HEAPS,R_0048_0017__AND,Z_0048_5016] :
( r_0048_0003__mile(R_0048_0003__MILE)
& r_0048_0005__unbroken(R_0048_0005__UNBROKEN)
& r_0048_0018__occasional(R_0048_0018__OCCASIONAL)
& r_0048_0021__rock(R_0048_0021__ROCK)
& z_0048_5007___star_(Z_0048_5007___STAR_)
& z_0048_5009___star_(Z_0048_5009___STAR_)
& z_0048_5016(Z_0048_5016)
& has_prd(Z_0048_5016,R_0048_0017__AND)
& r_0048_0017__and(R_0048_0017__AND)
& has_conj2(R_0048_0017__AND,R_0048_0019__HEAPS)
& r_0048_0019__heaps(R_0048_0019__HEAPS)
& has_r_0048_0020__of(R_0048_0019__HEAPS,R_0048_0021__ROCK)
& has_attrib(R_0048_0019__HEAPS,R_0048_0018__OCCASIONAL)
& has_conj1(R_0048_0017__AND,R_0048_0011__SLAG)
& r_0048_0011__slag(R_0048_0011__SLAG)
& has_inv_arg1(R_0048_0011__SLAG,R_0048_0015__SCARRED)
& r_0048_0015__scarred(R_0048_0015__SCARRED)
& has_arg0(R_0048_0015__SCARRED,Z_0048_5009___STAR_)
& has_inv_arg1(R_0048_0011__SLAG,R_0048_0013__PITTED)
& r_0048_0013__pitted(R_0048_0013__PITTED)
& has_arg0(R_0048_0013__PITTED,Z_0048_5009___STAR_)
& has_inv_arg1(R_0048_0011__SLAG,R_0048_0010__BLACKENED)
& r_0048_0010__blackened(R_0048_0010__BLACKENED)
& has_arg0(R_0048_0010__BLACKENED,Z_0048_5007___STAR_)
& has_arg0(Z_0048_5016,R_0048_0006__RUIN)
& r_0048_0006__ruin(R_0048_0006__RUIN)
& has_attrib(R_0048_0006__RUIN,R_0048_0005__UNBROKEN)
& r_0048_0014__and(R_0048_0014__AND)
& has_conj2(R_0048_0014__AND,R_0048_0015__SCARRED)
& has_conj1(R_0048_0014__AND,R_0048_0013__PITTED)
& r_0048_0007__stretched_r_0048_0008__out(R_0048_0007__STRETCHED_R_0048_0008__OUT)
& has_arg0(R_0048_0007__STRETCHED_R_0048_0008__OUT,R_0048_0001__MILE)
& r_0048_0001__Mile(R_0048_0001__MILE)
& has_r_0048_0004__of(R_0048_0001__MILE,R_0048_0006__RUIN)
& has_r_0048_0002__after(R_0048_0001__MILE,R_0048_0003__MILE) ) ).