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_65_2_POURED,Z_65_A_DICK_1952_7,Z_65_A_DICK_1952_1,R_65_1_PERHAPS,R_65_4_STONE,R_65_3_ARTIFICIAL] :
( perhaps(R_65_1_PERHAPS)
& artificial(R_65_3_ARTIFICIAL)
& poured(R_65_2_POURED,Z_65_A_DICK_1952_7,R_65_4_STONE)
& stone(R_65_4_STONE)
& attrib11(R_65_4_STONE,R_65_3_ARTIFICIAL)
& z_65_a_dick_1952_1(Z_65_A_DICK_1952_1)
& nim2(Z_65_A_DICK_1952_1,R_65_1_PERHAPS)
& nim5(Z_65_A_DICK_1952_1,R_65_4_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))