A man in a silky brown shirt is carving portraits into stone.
A man is preparing a stone for his auction.
There is no evidence that there is an auction. This man be just be carving portraits in stone for his private enjoyment.
exists e1 s1 s2 x1 x2 x3 x4.(into(e1,x4) & n_stone(x4) & Theme(e1,x3) & Actor(e1,x1) & v_carve(e1) & n_portrait(x3) & in(x1,x2) & n_shirt(x2) & a_brown(s2) & Theme(s2,x2) & a_silky(s1) & Theme(s1,x2) & n_man(x1))
exists e1 x1 x2 x3.(for(e1,x3) & n_auction(x3) & of(x3,x1) & n_male(x1) & Theme(e1,x2) & Actor(e1,x1) & v_prepare(e1) & n_stone(x2) & n_man(x1))