A man painted orange in orange pants is standing with a person painted red with black and gray wings.
Two artists who have painted their bodies stand next to each other, one with angel wings attached.
A man painted orange and a person who is painted in red with black and gray wings, does not infer they are standing next to each other.
exists e2 e3 e1 p1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8.(with(e2,x6) & with(e3,x8) & n_wing(x8) & a_gray(s2) & Theme(s2,x8) & a_black(s1) & Theme(s1,x8) & exists s3.(Theme(s3,x7) & a_red(s3)) & Recipient(e3,p1) & Topic(e3,x7) & v_paint(e3) & (x6 = x7) & n_person(x6) & Actor(e2,x1) & v_stand(e2) & in(e1,x4) & n_pants(x4) & of(x4,x5) & n_orange(x5) & Time(e1,x3) & n_orange(x3) & Theme(e1,x2) & v_paint(e1) & (x1 = x2) & n_man(x1))
exists e2 e1 x1 x2 x3.(all x4.(n_other(x4) -> exists e3 x5 x6 x7 x8.(to(e2,x4) & rel(x4,x5) & with(x5,x6) & Theme(e3,x8) & v_attach(e3) & (x6 = x8) & n_wing(x6) & of(x6,x7) & n_angel(x7) & n_thing(x5) & card_eq_1(x5))) & r_next(e2) & Actor(e2,x1) & v_stand(e2) & Theme(e1,x3) & Actor(e1,x2) & v_paint(e1) & n_body(x3) & of(x3,x1) & n_thing(x1) & (x1 = x2) & n_artist(x1) & card_eq_2(x1))