Seven vehicles parked on one side of a small street.
There are vehicles on either side of the street.
The vehicles cannot be parked on one side if they are on either side.
exists e1 s1 x1 x2 x3.(on(e1,x2) & of(x2,x3) & n_street(x3) & a_small(s1) & Theme(s1,x3) & n_side(x2) & card_eq_1(x2) & Theme(e1,x1) & v_park(e1) & n_vehicle(x1) & card_eq_7(x1))
exists p1 x1 x4.(n_street(x4) & exists x2.(all x3.(n_side(x3) -> ((x1 = x2) & on(x2,x3) & of(x3,x4))) & n_vehicle(x2)))