Seven people are white water rafting.
These seven people all know each other.
Just because the people are white water rafting, does not imply that they know each other.
exists p1 x1.(exists s1 x2 x3.((x1 = x2) & n_rafting(x2) & of(x2,x3) & n_water(x3) & a_white(s1) & Theme(s1,x2)) & n_people(x1) & card_eq_7(x1))
exists x1.(n_people(x1) & card_eq_7(x1) & all x2.(n_other(x2) -> exists e1 s1.(a_all(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_know(e1))))