Two men on the beach with two black and white dogs.
Friends are sitting indoors.
They cannot be both indoors and on the beach at the same time.
exists s1 s2 x1 x2 x3.(n_beach(x2) & a_topic(x1) & with(x1,x3) & n_dog(x3) & a_white(s2) & Theme(s2,x3) & a_black(s1) & Theme(s1,x3) & card_eq_2(x3) & on(x1,x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(exists e1 x2.((x1 = x2) & n_indoor(x2) & Actor(e1,x2) & v_sit(e1)) & n_friend(x1))