a horse driven carriage running through a rainstorm.
The carriage is driving through the country on a bright sunny day.
If it is sunny, then there is not a rainstorm.
exists e2 e1 x1 x2 x3.(for(e1,e2) & through(e2,x3) & n_rainstorm(x3) & Actor(e2,x1) & v_run(e2) & Theme(e1,x2) & Actor(e1,x1) & v_drive(e1) & n_carriage(x2) & n_horse(x1))
exists e1 s1 s2 x1 x2 x3.(n_country(x2) & n_carriage(x1) & on(e1,x3) & n_day(x3) & a_sunny(s2) & Theme(s2,x3) & a_bright(s1) & Theme(s1,x3) & through(e1,x2) & Actor(e1,x1) & v_drive(e1))