Four Mormons walking along the beach.
Four friends are about to surf.
Not all mormons are friends. Just because there are walking along the beach does not mean they are about to surf.
exists e1 x1 x2 x3.(n_beach(x3) & a_topic(x1) & along(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_mormon(x1) & card_eq_4(x1))
exists p1 s1 x1.(Topic(s1,p1) & Actor(s1,x1) & a_about(s1) & exists e1.(Actor(e1,x1) & v_surf(e1)) & n_friend(x1) & card_eq_4(x1))