TSPC 563_a_dick

563_a_dick_1952
The line marched across the gray slag, the eternal expanse of fused 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 ,)
                      (PRN (NP (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))

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__nim).
arc(r_0563_0005__the_r_0563_0007__slag,r_0563_0006__gray,attrib).
arc(r_0563_0009__the_r_0563_0011__expanse,r_0563_0010__eternal,attrib).
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,inv_arg1).
arc(r_0563_0013__fused,z_0563_5007___star_,arg0).
arc(z_0563_5009,r_0563_0005__the_r_0563_0007__slag,arg0).
arc(z_0563_5009,r_0563_0009__the_r_0563_0011__expanse,prd).

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_0010__ETERNAL,Z_0563_5007___STAR_,R_0563_0013__FUSED,R_0563_0014__METAL,R_0563_0009__THE_R_0563_0011__EXPANSE,Z_0563_5009] :
      ( 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)
      & z_0563_5007___star_(Z_0563_5007___STAR_)
      & z_0563_5009(Z_0563_5009)
      & has_prd(Z_0563_5009,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)
      & r_0563_0014__metal(R_0563_0014__METAL)
      & has_inv_arg1(R_0563_0014__METAL,R_0563_0013__FUSED)
      & r_0563_0013__fused(R_0563_0013__FUSED)
      & has_arg0(R_0563_0013__FUSED,Z_0563_5007___STAR_)
      & has_attrib(R_0563_0009__THE_R_0563_0011__EXPANSE,R_0563_0010__ETERNAL)
      & has_arg0(Z_0563_5009,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_attrib(R_0563_0005__THE_R_0563_0007__SLAG,R_0563_0006__GRAY)
      & r_0563_0003__marched(R_0563_0003__MARCHED)
      & has_r_0563_0004__across__nim(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) ) ).