Four ladies are sitting on a bench while 3 are stand close by.
Seven ladies all standing, waiting for a bus.
Seven and four are two different things.
exists e1 p1 x1 x2.(exists p2 s1 x3.(r_close(p2) & a_by(s1) & Manner(p2,s1) & exists x4.((x3 = x4) & n_stand(x4)) & n_date(x3) & a_date_day_03(x3) & a_date_day_03(x3)) & while(e1,p1) & on(e1,x2) & n_bench(x2) & Actor(e1,x1) & v_sit(e1) & n_lady(x1) & card_eq_4(x1))
exists x1.(ne_nam_seven(x1) & all x2.(n_standing(x2) -> exists e2 e1 x3.(for(e1,e2) & for(e2,x3) & n_bus(x3) & Actor(e2,x1) & v_wait(e2) & Theme(e1,x2) & Actor(e1,x1) & v_lady(e1))))