A man is standing next to a woman, with his arm around her waist.
Two people are next to each other
WHEN YOU ARE STANDING NEXT TO SOMEONE THEY ARE NEXT TO EACH OTHER.
exists e1 x1 x2 x3 x4.(around(e1,x4) & n_waist(x4) & of(x4,x2) & n_female(x2) & with(e1,x3) & n_arm(x3) & of(x3,x1) & n_male(x1) & to(e1,x2) & n_woman(x2) & r_next(e1) & Actor(e1,x1) & v_stand(e1) & n_man(x1))
exists s1 x1.(all x2.(n_other(x2) -> to(s1,x2)) & Theme(s1,x1) & a_next(s1) & n_people(x1) & card_eq_2(x1))