A male surfer exiting the ocean with his surfboard.
The male surfer is asleep at home.
The surfer cannot be exiting the ocean and asleep at home at the same time.
exists e1 s1 x1 x2 x3 x4.(n_surfboard(x4) & of(x4,x3) & n_male(x3) & n_ocean(x3) & a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_exit(e1) & with(x3,x4) & (x1 = x2) & n_surfer(x1) & a_male(s1) & Theme(s1,x1))
exists s1 x1 x2 x3.(n_surfer(x1) & of(x1,x2) & n_male(x2) & at(s1,x3) & n_home(x3) & Theme(s1,x1) & a_asleep(s1))