There are two women near cups of freshly cut fruits.
There are three women near cups of freshly cut fruits.
People cannot be both three and two at the same time.
exists p1 x1 e1 x2 x3 x4.((x1 = x2) & near(x2,x3) & of(x3,x4) & n_fruit(x4) & Theme(e1,x4) & v_cut(e1) & r_freshly(x4) & n_cup(x3) & n_woman(x2) & card_eq_2(x2))
exists p1 x1 e1 x2 x3 x4.((x1 = x2) & near(x2,x3) & of(x3,x4) & n_fruit(x4) & Theme(e1,x4) & v_cut(e1) & r_freshly(x4) & n_cup(x3) & n_woman(x2) & card_eq_3(x2))