Two women with their arms around each other smile.
Two coworkers are smiling.
The two women that are smiling, with their arms around each other are coworkers.
exists x1 x2 x4.(n_smile(x4) & all x3.((-(x3 = x4) & n_smile(x3)) -> (a_topic(x1) & with(x1,x2) & around(x2,x3))) & n_arm(x2) & of(x2,x1) & n_thing(x1) & n_woman(x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_smile(e1) & n_coworker(x1) & card_eq_2(x1))