Three people are sitting on a bench, one looking down at something in her lap, one wearing jeans, sandals and a turtleneck tee; and one woman in brown holding a cup.
The three people are all friends.
You can not infer they are friends.
exists e4 e3 e1 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18.(on(e1,x2) & rel(x2,x3) & rel(x3,x7) & rel(x7,x10) & subset_of(x12,x10) & subset_of(x15,x12) & Theme(e4,x18) & Actor(e4,x17) & v_hold(e4) & n_cup(x18) & (x15 = x17) & in(x15,x16) & n_brown(x16) & n_woman(x15) & card_eq_1(x15) & subset_of(x13,x12) & n_tee(x13) & of(x13,x14) & n_turtleneck(x14) & subset_of(x11,x10) & n_sandal(x11) & Theme(e3,x9) & Actor(e3,x8) & v_wear(e3) & n_jeans(x9) & (x7 = x8) & n_thing(x7) & card_eq_1(x7) & a_down(s1) & Manner(e2,s1) & at(e2,x5) & in(x5,x6) & n_lap(x6) & of(x6,x2) & n_female(x2) & n_thing(x5) & Actor(e2,x4) & v_look(e2) & (x3 = x4) & n_thing(x3) & card_eq_1(x3) & n_bench(x2) & Actor(e1,x1) & v_sit(e1) & n_people(x1) & card_eq_3(x1))
exists p1 x1.(n_people(x1) & card_eq_3(x1) & all x2.(n_friend(x2) -> (x1 = x2)))