An artist creating a sculpture.
There are two women painting.
If the sculpture is being man by an artist, it implies there is only one person doing it, so it can't be two women.
exists e1 x1 x2 x3.(a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_create(e1) & n_sculpture(x3) & (x1 = x2) & n_artist(x1))
exists p1 x1 x2 x3.((x1 = x2) & n_painting(x2) & of(x2,x3) & n_woman(x3) & card_eq_2(x2))