Two women are crossing the street and smiling.
Women are riding bikes across the street.
Crossing the street implies walking and one cannot be riding bikes when walking.
exists e2 e1 x1 x2 x3.(n_street(x2) & Actor(e2,x3) & v_smile(e2) & n_woman(x3) & card_eq_2(x3) & Theme(e1,x2) & Actor(e1,x1) & v_cross(e1) & n_woman(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_street(x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & across(x2,x3) & n_bike(x2) & n_woman(x1))