65_a_dick_1952
Perhaps poured artificial stone.
arc(r_0065_0002__poured, r_0065_0004__stone, arg1).
arc(r_0065_0002__poured, z_000_65_a_dick_1952_7, arg0).
arc(r_0065_0004__stone, r_0065_0003__artificial, attrib11).
arc(z_000_65_a_dick_1952_1, r_0065_0001__Perhaps, nim2).
arc(z_000_65_a_dick_1952_1, r_0065_0004__stone, nim5).
fof(formula,axiom,
? [R_0065_0003__ARTIFICIAL,R_0065_0004__STONE,Z_000_65_A_DICK_1952_7,R_0065_0002__POURED,R_0065_0001__PERHAPS,Z_000_65_A_DICK_1952_1] :
( r_0065_0001__Perhaps(R_0065_0001__PERHAPS)
& r_0065_0003__artificial(R_0065_0003__ARTIFICIAL)
& z_000_65_a_dick_1952_7(Z_000_65_A_DICK_1952_7)
& z_000_65_a_dick_1952_1(Z_000_65_A_DICK_1952_1)
& has_nim5(Z_000_65_A_DICK_1952_1,R_0065_0004__STONE)
& r_0065_0004__stone(R_0065_0004__STONE)
& has_attrib11(R_0065_0004__STONE,R_0065_0003__ARTIFICIAL)
& has_nim2(Z_000_65_A_DICK_1952_1,R_0065_0001__PERHAPS)
& r_0065_0002__poured(R_0065_0002__POURED)
& has_arg0(R_0065_0002__POURED,Z_000_65_A_DICK_1952_7)
& has_arg1(R_0065_0002__POURED,R_0065_0004__STONE) ) ).
( (FRAG (ADVP-NIM (ADV Perhaps;{perhaps}))
(NP (IP-PPL (NP-LGS *)
(VVN;_Tn_ poured;{pour}))
(ADJP (ADJ artificial;{artificial}))
(N stone;{stone}))
(PUNC .))
(ID 65_a_dick_1952))