Four men are standing around an artistic invention.
The men are impressed with the invention.
just because the men are standing in an artistic invention that doesn't mean they are impressed
exists e1 s1 x1 x2.(around(e1,x2) & n_invention(x2) & a_artistic(s1) & Theme(s1,x2) & Actor(e1,x1) & v_stand(e1) & n_man(x1) & card_eq_4(x1))
exists e1 x1 x2.(n_invention(x2) & n_man(x1) & with(e1,x2) & Theme(e1,x1) & v_impress(e1))