The man and the women are resting their arms on the bench.
The man and women know each other.
Can't infer they know each other.
exists e1 x1 x2 x3 x4 x5.(n_bench(x5) & n_arm(x4) & of(x4,x2) & n_thing(x2) & n_woman(x3) & n_man(x2) & on(e1,x5) & Theme(e1,x4) & Actor(e1,x1) & v_rest(e1) & subset_of(x3,x1) & subset_of(x2,x1))
exists x1 x2 x3.(n_man(x2) & all x4.(n_other(x4) -> exists e1.(Theme(e1,x4) & Actor(e1,x1) & v_know(e1))) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1))