Four people are riding horses on the beach.
People are riding horses on the shoreline at sunset.
You can ride horses on the beach at any time of day, not just sunset.
exists e1 x1 x2 x3.(n_beach(x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_horse(x2) & n_people(x1) & card_eq_4(x1))
exists e1 x1 x2 x3 x4.(n_shoreline(x3) & at(e1,x4) & n_sunset(x4) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_horse(x2) & n_people(x1))