Two people with dark jackets are sitting beside each other.
Two strangers are sitting next to each other.
Two people with dark jackets sitting beside each other doesn't mean that two are strangers.
exists e1 s1 x1 x2.(all x3.(n_other(x3) -> beside(e1,x3)) & Actor(e1,x1) & v_sit(e1) & with(x1,x2) & n_jacket(x2) & a_dark(s1) & Theme(s1,x2) & n_people(x1) & card_eq_2(x1))
exists e1 x1.(all x2.(n_other(x2) -> to(e1,x2)) & r_next(e1) & Actor(e1,x1) & v_sit(e1) & n_stranger(x1) & card_eq_2(x1))