TSPC 457_a_dick

457_a_dick_1952
Wood crates lined the walls, huge boxes and crates, packages and containers.

( (IP-MAT (NP-SBJ (N Wood;{wood})
                  (NS crates;{crate})
                  (PRN *ICH*-178))
          (VBD;_Tn_ lined;{line})
          (NP-OB1 (D the;{the})
                  (NS walls;{wall}))
          (PUNC ,)
          (PRN-EPD-178 (NP (NLYR (NLYR (NLYR (NLYR (ADJP (ADJ huge;{huge}))
                                                   (NS boxes;{box}))
                                             (CONJP (CONJ and;{and})
                                                    (NLYR (NS crates;{crate})))))
                                 (PUNC ,)
                                 (CONJP (NLYR (NLYR (NLYR (NS packages;{package}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NS containers;{container})))))))))
          (PUNC .))
  (ID 457_a_dick_1952))

arc(r_0457_0003__lined,r_0457_0001__Wood_r_0457_0002__crates,arg0).
arc(r_0457_0003__lined,r_0457_0004__the_r_0457_0005__walls,arg1).
arc(r_0457_0008__boxes,r_0457_0007__huge,attrib).
arc(r_0457_0009__and,r_0457_0008__boxes,conj1).
arc(r_0457_0009__and,r_0457_0010__crates,conj2).
arc(r_0457_0013__and,r_0457_0012__packages,conj1).
arc(r_0457_0013__and,r_0457_0014__containers,conj2).
arc(z_0457_5010,r_0457_0009__and,conj1).
arc(z_0457_5010,r_0457_0013__and,conj2).
arc(z_0457_5011,r_0457_0001__Wood_r_0457_0002__crates,arg0).
arc(z_0457_5011,z_0457_5010,prd).

fof(formula,axiom,
    ? [R_0457_0001__WOOD_R_0457_0002__CRATES,R_0457_0004__THE_R_0457_0005__WALLS,R_0457_0003__LINED,R_0457_0007__HUGE,R_0457_0008__BOXES,R_0457_0010__CRATES,R_0457_0009__AND,R_0457_0012__PACKAGES,R_0457_0014__CONTAINERS,R_0457_0013__AND,Z_0457_5010,Z_0457_5011] :
      ( r_0457_0001__Wood_r_0457_0002__crates(R_0457_0001__WOOD_R_0457_0002__CRATES)
      & r_0457_0004__the_r_0457_0005__walls(R_0457_0004__THE_R_0457_0005__WALLS)
      & r_0457_0007__huge(R_0457_0007__HUGE)
      & r_0457_0010__crates(R_0457_0010__CRATES)
      & r_0457_0012__packages(R_0457_0012__PACKAGES)
      & r_0457_0014__containers(R_0457_0014__CONTAINERS)
      & z_0457_5011(Z_0457_5011)
      & has_prd(Z_0457_5011,Z_0457_5010)
      & z_0457_5010(Z_0457_5010)
      & has_conj2(Z_0457_5010,R_0457_0013__AND)
      & r_0457_0013__and(R_0457_0013__AND)
      & has_conj2(R_0457_0013__AND,R_0457_0014__CONTAINERS)
      & has_conj1(R_0457_0013__AND,R_0457_0012__PACKAGES)
      & has_conj1(Z_0457_5010,R_0457_0009__AND)
      & r_0457_0009__and(R_0457_0009__AND)
      & has_conj2(R_0457_0009__AND,R_0457_0010__CRATES)
      & has_conj1(R_0457_0009__AND,R_0457_0008__BOXES)
      & r_0457_0008__boxes(R_0457_0008__BOXES)
      & has_attrib(R_0457_0008__BOXES,R_0457_0007__HUGE)
      & has_arg0(Z_0457_5011,R_0457_0001__WOOD_R_0457_0002__CRATES)
      & r_0457_0003__lined(R_0457_0003__LINED)
      & has_arg1(R_0457_0003__LINED,R_0457_0004__THE_R_0457_0005__WALLS)
      & has_arg0(R_0457_0003__LINED,R_0457_0001__WOOD_R_0457_0002__CRATES) ) ).