There are many cars on a street during a rainy day.
Cars are on a street on a sunny day.
If the day was rainy then it could not be sunny at the same time.
exists p1 s1 x1 x2 x3.(during(p1,x3) & n_day(x3) & a_rainy(s1) & Theme(s1,x3) & on(p1,x2) & n_street(x2) & exists x4.((x1 = x4) & n_car(x4) & n_quantity(x4)))
exists p1 s1 x1 x2.(on(p1,x2) & n_day(x2) & a_sunny(s1) & Theme(s1,x2) & exists x3.(on(x1,x3) & n_street(x3)) & n_car(x1))