Three women are running with numbers on their chest.
Women are walking with cats on their chest.
Women are either walking or running, not both. Cats are not numbers.
exists e1 x1 x2 x3.(on(e1,x3) & n_chest(x3) & of(x3,x1) & n_thing(x1) & with(e1,x2) & n_number(x2) & Actor(e1,x1) & v_run(e1) & n_woman(x1) & card_eq_3(x1))
exists e1 x1 x2 x3.(on(e1,x3) & n_chest(x3) & of(x3,x1) & n_thing(x1) & with(e1,x2) & n_cat(x2) & Actor(e1,x1) & v_walk(e1) & n_woman(x1))