563_a_dick_1952
The line marched across the gray slag, the eternal expanse of fused metal.
arc(r_0563_0003__marched, r_0563_0001__The_r_0563_0002__line, arg0).
arc(r_0563_0003__marched, r_0563_0005__the_r_0563_0007__slag, r_0563_0004__across_nim12).
arc(r_0563_0005__the_r_0563_0007__slag, r_0563_0006__gray, attrib15).
arc(r_0563_0009__the_r_0563_0011__expanse, r_0563_0010__eternal, attrib26).
arc(r_0563_0009__the_r_0563_0011__expanse, r_0563_0014__metal, r_0563_0012__of).
arc(r_0563_0013__fused, r_0563_0014__metal, arg1).
arc(r_0563_0013__fused, z_000_563_a_dick_1952_36, arg0).
arc(z_000_563_a_dick_1952_22, r_0563_0005__the_r_0563_0007__slag, arg0).
arc(z_000_563_a_dick_1952_22, r_0563_0009__the_r_0563_0011__expanse, prd).
fof(formula,axiom,
? [R_563_3_MARCHED,R_563_1_THE_LINE,R_563_13_FUSED,Z_563_A_DICK_1952_36,Z_563_A_DICK_1952_22,R_563_5_THE_SLAG,R_563_6_GRAY,R_563_9_THE_EXPANSE,R_563_10_ETERNAL,R_563_14_METAL] :
( the_line(R_563_1_THE_LINE)
& gray(R_563_6_GRAY)
& eternal(R_563_10_ETERNAL)
& metal(R_563_14_METAL)
& marched(R_563_3_MARCHED,R_563_1_THE_LINE)
& across_nim12(R_563_3_MARCHED,R_563_5_THE_SLAG)
& the_slag(R_563_5_THE_SLAG)
& attrib15(R_563_5_THE_SLAG,R_563_6_GRAY)
& fused(R_563_13_FUSED,Z_563_A_DICK_1952_36,R_563_14_METAL)
& z_563_a_dick_1952_22(Z_563_A_DICK_1952_22,R_563_5_THE_SLAG,R_563_9_THE_EXPANSE)
& the_expanse(R_563_9_THE_EXPANSE)
& attrib26(R_563_9_THE_EXPANSE,R_563_10_ETERNAL)
& of(R_563_9_THE_EXPANSE,R_563_14_METAL) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N line;{line}))
(VBD;_I_ marched;{march})
(PP-NIM (P-ROLE across;{across})
(NP (D the;{the})
(ADJP (ADJ gray;{gray}))
(N slag;{slag})
(PUNC ,)
(IP-PPL (NP-PRD (D the;{the})
(ADJP (ADJ eternal;{eternal}))
(N expanse;{expanse})
(PP (P-ROLE of;{of})
(NP (IP-PPL (NP-LGS *)
(VVN;_Tn_ fused;{fuse}))
(N metal;{metal})))))))
(PUNC .))
(ID 563_a_dick_1952))