A man, woman, and child enjoying themselves on a beach.
A family of three is at the mall shopping.
You can only be at one place, either the beach or the mall. You cant be at both places at the same time.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(n_group(x6) & a_topic(s1) & subset_of(x4,s1) & on(e1,x7) & n_beach(x7) & Theme(e1,x6) & Actor(e1,x5) & v_enjoy(e1) & (x4 = x5) & n_child(x4) & subset_of(x1,s1) & n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists p1 x1 x2 x3 x4.(n_shopping(x3) & of(x3,x4) & n_mall(x4) & at(x1,x3) & of(x1,x2) & n_thing(x2) & card_eq_3(x2) & n_family(x1))