The surfer is riding a wave back towards the beach.
The surfer is ready to go home.
Just because a surfer rides a wave towards the beach, it does not mean he wants to go home.  If that were true, every surfer would ride one wave and quit for the day.
exists e1 s1 x1 x2 x3.(n_beach(x3) & n_surfer(x1) & towards(e1,x3) & a_back(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_wave(x2))
exists p1 s1 x1.(n_surfer(x1) & Topic(s1,p1) & Actor(s1,x1) & a_ready(s1) & exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_go(e1) & n_home(x2)))