563_a_dick_1952
The line marched across the gray slag, the eternal expanse of fused metal.

%3 r_0563_0003__marched marched r_0563_0001__The_r_0563_0002__line The line r_0563_0003__marched->r_0563_0001__The_r_0563_0002__line [arg0] r_0563_0005__the_r_0563_0007__slag the slag r_0563_0003__marched->r_0563_0005__the_r_0563_0007__slag across [nim] r_0563_0006__gray gray r_0563_0005__the_r_0563_0007__slag->r_0563_0006__gray [attrib] r_0563_0009__the_r_0563_0011__expanse the expanse r_0563_0010__eternal eternal r_0563_0009__the_r_0563_0011__expanse->r_0563_0010__eternal [attrib] r_0563_0014__metal metal r_0563_0009__the_r_0563_0011__expanse->r_0563_0014__metal of r_0563_0013__fused fused r_0563_0013__fused->r_0563_0014__metal [arg1] z_000_563_a_dick_1952_36 r_0563_0013__fused->z_000_563_a_dick_1952_36 [arg0] z_000_563_a_dick_1952_22 z_000_563_a_dick_1952_22->r_0563_0005__the_r_0563_0007__slag [arg0] z_000_563_a_dick_1952_22->r_0563_0009__the_r_0563_0011__expanse [prd]
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).



%3 z_000_563_a_dick_1952_22 r_0563_0009__the_r_0563_0011__expanse the expanse z_000_563_a_dick_1952_22->r_0563_0009__the_r_0563_0011__expanse [prd] r_0563_0005__the_r_0563_0007__slag the slag z_000_563_a_dick_1952_22->r_0563_0005__the_r_0563_0007__slag [arg0] r_0563_0014__metal metal r_0563_0009__the_r_0563_0011__expanse->r_0563_0014__metal of r_0563_0010__eternal eternal r_0563_0009__the_r_0563_0011__expanse->r_0563_0010__eternal [attrib] r_0563_0006__gray gray r_0563_0005__the_r_0563_0007__slag->r_0563_0006__gray [attrib] r_0563_0013__fused fused z_000_563_a_dick_1952_36 r_0563_0013__fused->z_000_563_a_dick_1952_36 [arg0] r_0563_0013__fused->r_0563_0014__metal [arg1] r_0563_0003__marched marched r_0563_0003__marched->r_0563_0005__the_r_0563_0007__slag across [nim] r_0563_0001__The_r_0563_0002__line The line r_0563_0003__marched->r_0563_0001__The_r_0563_0002__line [arg0]
fof(formula,axiom,
    ? [R_0563_0001__THE_R_0563_0002__LINE,R_0563_0006__GRAY,R_0563_0005__THE_R_0563_0007__SLAG,R_0563_0003__MARCHED,R_0563_0014__METAL,Z_000_563_A_DICK_1952_36,R_0563_0013__FUSED,R_0563_0010__ETERNAL,R_0563_0009__THE_R_0563_0011__EXPANSE,Z_000_563_A_DICK_1952_22] :
      ( r_0563_0001__The_r_0563_0002__line(R_0563_0001__THE_R_0563_0002__LINE)
      & r_0563_0006__gray(R_0563_0006__GRAY)
      & r_0563_0010__eternal(R_0563_0010__ETERNAL)
      & r_0563_0014__metal(R_0563_0014__METAL)
      & z_000_563_a_dick_1952_36(Z_000_563_A_DICK_1952_36)
      & z_000_563_a_dick_1952_22(Z_000_563_A_DICK_1952_22)
      & has_prd(Z_000_563_A_DICK_1952_22,R_0563_0009__THE_R_0563_0011__EXPANSE)
      & r_0563_0009__the_r_0563_0011__expanse(R_0563_0009__THE_R_0563_0011__EXPANSE)
      & has_r_0563_0012__of(R_0563_0009__THE_R_0563_0011__EXPANSE,R_0563_0014__METAL)
      & has_attrib26(R_0563_0009__THE_R_0563_0011__EXPANSE,R_0563_0010__ETERNAL)
      & has_arg0(Z_000_563_A_DICK_1952_22,R_0563_0005__THE_R_0563_0007__SLAG)
      & r_0563_0005__the_r_0563_0007__slag(R_0563_0005__THE_R_0563_0007__SLAG)
      & has_attrib15(R_0563_0005__THE_R_0563_0007__SLAG,R_0563_0006__GRAY)
      & r_0563_0013__fused(R_0563_0013__FUSED)
      & has_arg0(R_0563_0013__FUSED,Z_000_563_A_DICK_1952_36)
      & has_arg1(R_0563_0013__FUSED,R_0563_0014__METAL)
      & r_0563_0003__marched(R_0563_0003__MARCHED)
      & has_r_0563_0004__across_nim12(R_0563_0003__MARCHED,R_0563_0005__THE_R_0563_0007__SLAG)
      & has_arg0(R_0563_0003__MARCHED,R_0563_0001__THE_R_0563_0002__LINE) ) ).



n563_a_dick_1952 n563_a_dick_1952__1_1_1_1 The n563_a_dick_1952__1_1_2_1 line n563_a_dick_1952__1_2_1 marched n563_a_dick_1952__1_3_1_1 across n563_a_dick_1952__1_3_2_1_1 the n563_a_dick_1952__1_3_2_2_1_1 gray n563_a_dick_1952__1_3_2_3_1 slag n563_a_dick_1952__1_3_2_4_1 , n563_a_dick_1952__1_3_2_5_1_1_1 the n563_a_dick_1952__1_3_2_5_1_2_1_1 eternal n563_a_dick_1952__1_3_2_5_1_3_1 expanse n563_a_dick_1952__1_3_2_5_1_4_1_1 of n563_a_dick_1952__1_3_2_5_1_4_2_1_1_1 * n563_a_dick_1952__1_3_2_5_1_4_2_1_2_1 fused n563_a_dick_1952__1_3_2_5_1_4_2_2_1 metal n563_a_dick_1952__1_4_1 . n563_a_dick_1952__1 IP-MAT n563_a_dick_1952__1_1 NP-SBJ n563_a_dick_1952__1->n563_a_dick_1952__1_1 n563_a_dick_1952__1_2 VBD;_I_ n563_a_dick_1952__1->n563_a_dick_1952__1_2 n563_a_dick_1952__1_3 PP-NIM n563_a_dick_1952__1->n563_a_dick_1952__1_3 n563_a_dick_1952__1_4 PUNC n563_a_dick_1952__1->n563_a_dick_1952__1_4 n563_a_dick_1952__1_1_1 D n563_a_dick_1952__1_1->n563_a_dick_1952__1_1_1 n563_a_dick_1952__1_1_2 N n563_a_dick_1952__1_1->n563_a_dick_1952__1_1_2 n563_a_dick_1952__1_1_1->n563_a_dick_1952__1_1_1_1 n563_a_dick_1952__1_1_2->n563_a_dick_1952__1_1_2_1 n563_a_dick_1952__1_2->n563_a_dick_1952__1_2_1 n563_a_dick_1952__1_3_1 P-ROLE n563_a_dick_1952__1_3->n563_a_dick_1952__1_3_1 n563_a_dick_1952__1_3_2 NP n563_a_dick_1952__1_3->n563_a_dick_1952__1_3_2 n563_a_dick_1952__1_3_1->n563_a_dick_1952__1_3_1_1 n563_a_dick_1952__1_3_2_1 D n563_a_dick_1952__1_3_2->n563_a_dick_1952__1_3_2_1 n563_a_dick_1952__1_3_2_2 ADJP n563_a_dick_1952__1_3_2->n563_a_dick_1952__1_3_2_2 n563_a_dick_1952__1_3_2_3 N n563_a_dick_1952__1_3_2->n563_a_dick_1952__1_3_2_3 n563_a_dick_1952__1_3_2_4 PUNC n563_a_dick_1952__1_3_2->n563_a_dick_1952__1_3_2_4 n563_a_dick_1952__1_3_2_5 IP-PPL n563_a_dick_1952__1_3_2->n563_a_dick_1952__1_3_2_5 n563_a_dick_1952__1_3_2_1->n563_a_dick_1952__1_3_2_1_1 n563_a_dick_1952__1_3_2_2_1 ADJ n563_a_dick_1952__1_3_2_2->n563_a_dick_1952__1_3_2_2_1 n563_a_dick_1952__1_3_2_2_1->n563_a_dick_1952__1_3_2_2_1_1 n563_a_dick_1952__1_3_2_3->n563_a_dick_1952__1_3_2_3_1 n563_a_dick_1952__1_3_2_4->n563_a_dick_1952__1_3_2_4_1 n563_a_dick_1952__1_3_2_5_1 NP-PRD n563_a_dick_1952__1_3_2_5->n563_a_dick_1952__1_3_2_5_1 n563_a_dick_1952__1_3_2_5_1_1 D n563_a_dick_1952__1_3_2_5_1->n563_a_dick_1952__1_3_2_5_1_1 n563_a_dick_1952__1_3_2_5_1_2 ADJP n563_a_dick_1952__1_3_2_5_1->n563_a_dick_1952__1_3_2_5_1_2 n563_a_dick_1952__1_3_2_5_1_3 N n563_a_dick_1952__1_3_2_5_1->n563_a_dick_1952__1_3_2_5_1_3 n563_a_dick_1952__1_3_2_5_1_4 PP n563_a_dick_1952__1_3_2_5_1->n563_a_dick_1952__1_3_2_5_1_4 n563_a_dick_1952__1_3_2_5_1_1->n563_a_dick_1952__1_3_2_5_1_1_1 n563_a_dick_1952__1_3_2_5_1_2_1 ADJ n563_a_dick_1952__1_3_2_5_1_2->n563_a_dick_1952__1_3_2_5_1_2_1 n563_a_dick_1952__1_3_2_5_1_2_1->n563_a_dick_1952__1_3_2_5_1_2_1_1 n563_a_dick_1952__1_3_2_5_1_3->n563_a_dick_1952__1_3_2_5_1_3_1 n563_a_dick_1952__1_3_2_5_1_4_1 P-ROLE n563_a_dick_1952__1_3_2_5_1_4->n563_a_dick_1952__1_3_2_5_1_4_1 n563_a_dick_1952__1_3_2_5_1_4_2 NP n563_a_dick_1952__1_3_2_5_1_4->n563_a_dick_1952__1_3_2_5_1_4_2 n563_a_dick_1952__1_3_2_5_1_4_1->n563_a_dick_1952__1_3_2_5_1_4_1_1 n563_a_dick_1952__1_3_2_5_1_4_2_1 IP-PPL n563_a_dick_1952__1_3_2_5_1_4_2->n563_a_dick_1952__1_3_2_5_1_4_2_1 n563_a_dick_1952__1_3_2_5_1_4_2_2 N n563_a_dick_1952__1_3_2_5_1_4_2->n563_a_dick_1952__1_3_2_5_1_4_2_2 n563_a_dick_1952__1_3_2_5_1_4_2_1_1 NP-LGS n563_a_dick_1952__1_3_2_5_1_4_2_1->n563_a_dick_1952__1_3_2_5_1_4_2_1_1 n563_a_dick_1952__1_3_2_5_1_4_2_1_2 VVN;_Tn_ n563_a_dick_1952__1_3_2_5_1_4_2_1->n563_a_dick_1952__1_3_2_5_1_4_2_1_2 n563_a_dick_1952__1_3_2_5_1_4_2_1_1->n563_a_dick_1952__1_3_2_5_1_4_2_1_1_1 n563_a_dick_1952__1_3_2_5_1_4_2_1_2->n563_a_dick_1952__1_3_2_5_1_4_2_1_2_1 n563_a_dick_1952__1_3_2_5_1_4_2_2->n563_a_dick_1952__1_3_2_5_1_4_2_2_1 n563_a_dick_1952__1_4->n563_a_dick_1952__1_4_1
( (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))