48_a_dick_1952
Mile after mile of unbroken ruin stretched out, blackened slag, pitted and scarred, and occasional heaps of rock.
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, attrib15).
arc(r_0048_0007__stretched, r_0048_0001__Mile, arg0).
arc(r_0048_0007__stretched, r_0048_0008__out, clr24).
arc(r_0048_0010__blackened, r_0048_0011__slag, arg1).
arc(r_0048_0010__blackened, z_000_48_a_dick_1952_34, arg0).
arc(r_0048_0013__pitted, r_0048_0011__slag, arg1).
arc(r_0048_0013__pitted, z_000_48_a_dick_1952_45, 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, arg1).
arc(r_0048_0015__scarred, z_000_48_a_dick_1952_53, 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, attrib63).
arc(r_0048_0019__heaps, r_0048_0021__rock, r_0048_0020__of).
arc(z_000_48_a_dick_1952_29, r_0048_0006__ruin, arg0).
arc(z_000_48_a_dick_1952_29, 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_0008__OUT,R_0048_0007__STRETCHED,R_0048_0011__SLAG,Z_000_48_A_DICK_1952_34,R_0048_0010__BLACKENED,Z_000_48_A_DICK_1952_45,R_0048_0013__PITTED,Z_000_48_A_DICK_1952_53,R_0048_0015__SCARRED,R_0048_0014__AND,R_0048_0018__OCCASIONAL,R_0048_0021__ROCK,R_0048_0019__HEAPS,R_0048_0017__AND,Z_000_48_A_DICK_1952_29] :
( r_0048_0003__mile(R_0048_0003__MILE)
& r_0048_0005__unbroken(R_0048_0005__UNBROKEN)
& r_0048_0008__out(R_0048_0008__OUT)
& r_0048_0011__slag(R_0048_0011__SLAG)
& r_0048_0018__occasional(R_0048_0018__OCCASIONAL)
& r_0048_0021__rock(R_0048_0021__ROCK)
& z_000_48_a_dick_1952_34(Z_000_48_A_DICK_1952_34)
& z_000_48_a_dick_1952_45(Z_000_48_A_DICK_1952_45)
& z_000_48_a_dick_1952_53(Z_000_48_A_DICK_1952_53)
& z_000_48_a_dick_1952_29(Z_000_48_A_DICK_1952_29)
& has_prd(Z_000_48_A_DICK_1952_29,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_attrib63(R_0048_0019__HEAPS,R_0048_0018__OCCASIONAL)
& has_conj1(R_0048_0017__AND,R_0048_0011__SLAG)
& has_arg0(Z_000_48_A_DICK_1952_29,R_0048_0006__RUIN)
& r_0048_0006__ruin(R_0048_0006__RUIN)
& has_attrib15(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)
& r_0048_0015__scarred(R_0048_0015__SCARRED)
& has_arg0(R_0048_0015__SCARRED,Z_000_48_A_DICK_1952_53)
& has_arg1(R_0048_0015__SCARRED,R_0048_0011__SLAG)
& has_conj1(R_0048_0014__AND,R_0048_0013__PITTED)
& r_0048_0013__pitted(R_0048_0013__PITTED)
& has_arg0(R_0048_0013__PITTED,Z_000_48_A_DICK_1952_45)
& has_arg1(R_0048_0013__PITTED,R_0048_0011__SLAG)
& r_0048_0010__blackened(R_0048_0010__BLACKENED)
& has_arg0(R_0048_0010__BLACKENED,Z_000_48_A_DICK_1952_34)
& has_arg1(R_0048_0010__BLACKENED,R_0048_0011__SLAG)
& r_0048_0007__stretched(R_0048_0007__STRETCHED)
& has_clr24(R_0048_0007__STRETCHED,R_0048_0008__OUT)
& has_arg0(R_0048_0007__STRETCHED,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) ) ).
( (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})
(IP-PPL *ICH*-161))))
(VBD;_Ip_ stretched;{stretch[out]})
(ADVP-CLR (RP out;{out}))
(PUNC ,)
(IP-PPL-EPD-161 (NP-PRD (NLYR (NLYR (IP-PPL (NP-LGS *)
(VVN;_Tn_ blackened;{blackened}))
(N slag;{slag})
(PUNC ,)
(IP-PPL (ILYR (ILYR (NP-LGS *)
(VVN;_Tn_ pitted;{pitted}))
(CONJP (CONJ and;{and})
(ILYR (NP-LGS *)
(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))