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, attrib24).
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_000_457_a_dick_1952_18, r_0457_0001__Wood_r_0457_0002__crates, arg0).
arc(z_000_457_a_dick_1952_18, z_000_457_a_dick_1952_20, prd).
arc(z_000_457_a_dick_1952_20, r_0457_0009__and, conj1).
arc(z_000_457_a_dick_1952_20, r_0457_0013__and, conj2).

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_000_457_A_DICK_1952_20,Z_000_457_A_DICK_1952_18] :
      ( 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_000_457_a_dick_1952_18(Z_000_457_A_DICK_1952_18)
      & has_prd(Z_000_457_A_DICK_1952_18,Z_000_457_A_DICK_1952_20)
      & z_000_457_a_dick_1952_20(Z_000_457_A_DICK_1952_20)
      & has_conj2(Z_000_457_A_DICK_1952_20,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_000_457_A_DICK_1952_20,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_attrib24(R_0457_0008__BOXES,R_0457_0007__HUGE)
      & has_arg0(Z_000_457_A_DICK_1952_18,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) ) ).

( (IP-MAT (NP-SBJ (N Wood;{wood})
                  (NS crates;{crate})
                  (IP-PPL *ICH*-178))
          (VBD;_Tn_ lined;{line})
          (NP-OB1 (D the;{the})
                  (NS walls;{wall}))
          (PUNC ,)
          (IP-PPL-EPD-178 (NP-PRD (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))