Two women with bags are sitting near each other on some steps.
Two women with bags sit near each other on the steps.
sitting is same as sit.
exists e1 x1 x2.(all x3.(n_other(x3) -> exists x4.(on(e1,x4) & n_step(x4) & near(e1,x3))) & Actor(e1,x1) & v_sit(e1) & with(x1,x2) & n_bag(x2) & n_woman(x1) & card_eq_2(x1))
exists e1 x1 x2 x4.(n_step(x4) & all x3.(n_other(x3) -> (on(e1,x4) & near(e1,x3))) & Actor(e1,x1) & v_sit(e1) & with(x1,x2) & n_bag(x2) & n_woman(x1) & card_eq_2(x1))