Two people selling baked goods at a booth.
The people are selling only items that were fried.
Baked goods and fried are different.
exists e1 e2 x1 x2 x3.(at(e2,x3) & n_booth(x3) & Theme(e2,x2) & Actor(e2,x1) & v_sell(e2) & n_goods(x2) & Theme(e1,x2) & v_bake(e1) & n_people(x1) & card_eq_2(x1))
exists e1 e2 x1 x2 x3.(n_people(x1) & Theme(e2,x2) & Actor(e2,x1) & v_sell(e2) & Theme(e1,x3) & v_fry(e1) & (x2 = x3) & all x4.(n_item(x4) -> (x2 = x4)) & n_item(x2))