A group of people are hiking along a grassy area.
The people are all good friends.
That the people are all friends or that any of them are friends or good friends are all things that cannot be inferred from sentence 1.
exists e1 s1 x1 x2 x3.(along(e1,x3) & n_area(x3) & a_grassy(s1) & Theme(s1,x3) & Actor(e1,x1) & v_hike(e1) & of(x1,x2) & n_people(x2) & n_group(x1))
exists p1 x1.(n_people(x1) & all s1 x2.((n_friend(x2) & a_good(s1) & Theme(s1,x2)) -> (x1 = x2)))