Two women jog down the street.
One woman is ahead of the other women.
Two women could jog next to each other rather than one being ahead of the other.
exists e1 x1 x2 x3.(n_street(x3) & a_topic(x1) & down(e1,x3) & Actor(e1,x2) & v_jog(e1) & (x1 = x2) & n_woman(x1) & card_eq_2(x1))
exists s1 x1 x2.(-(x2 = x1) & n_woman(x2) & of(s1,x2) & n_woman(x1) & n_woman(x1) & Theme(s1,x1) & a_ahead(s1) & card_eq_1(x1))