457_a_dick_1952
Wood crates lined the walls, huge boxes and crates, packages and containers.
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_457_3_LINED,R_457_4_THE_WALLS,Z_457_A_DICK_1952_18,R_457_1_WOOD_CRATES,Z_457_A_DICK_1952_20,R_457_9_AND,R_457_8_BOXES,R_457_7_HUGE,R_457_10_CRATES,R_457_13_AND,R_457_12_PACKAGES,R_457_14_CONTAINERS] :
( the_walls(R_457_4_THE_WALLS)
& wood_crates(R_457_1_WOOD_CRATES)
& huge(R_457_7_HUGE)
& crates(R_457_10_CRATES)
& packages(R_457_12_PACKAGES)
& containers(R_457_14_CONTAINERS)
& lined(R_457_3_LINED,R_457_1_WOOD_CRATES,R_457_4_THE_WALLS)
& z_457_a_dick_1952_18(Z_457_A_DICK_1952_18,R_457_1_WOOD_CRATES,Z_457_A_DICK_1952_20)
& z_457_a_dick_1952_20(Z_457_A_DICK_1952_20)
& conj1(Z_457_A_DICK_1952_20,R_457_9_AND)
& and(R_457_9_AND)
& conj1(R_457_9_AND,R_457_8_BOXES)
& boxes(R_457_8_BOXES)
& attrib24(R_457_8_BOXES,R_457_7_HUGE)
& conj2(R_457_9_AND,R_457_10_CRATES)
& conj2(Z_457_A_DICK_1952_20,R_457_13_AND)
& and(R_457_13_AND)
& conj1(R_457_13_AND,R_457_12_PACKAGES)
& conj2(R_457_13_AND,R_457_14_CONTAINERS) ) ).
( (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))