A man a long gray beard and his partner share a meal at an outdoor restaurant.
The two people paddle their kayaks in the surf.
Being at an outdoor restaurant can't happen at the same time as paddling kayaks in the surf
exists s1.(a_topic(s1) & all x5 x4 x3.((n_share(x4) & of(x4,x5) & n_partner(x5) & of(x4,x3) & n_male(x3) & n_meal(x3)) -> exists s4 x6.(subset_of(x4,s1) & at(x4,x6) & n_restaurant(x6) & a_outdoor(s4) & Theme(s4,x6) & for(x4,x3))) & all s3 x1 s2.((n_beard(x1) & a_gray(s3) & Theme(s3,x1) & a_long(s2) & Theme(s2,x1)) -> exists x2.(subset_of(x2,s1) & for(x2,x1) & n_man(x2))))
exists e1 x1 x2 x3.(n_surf(x3) & n_kayak(x2) & of(x2,x1) & n_thing(x1) & n_people(x1) & card_eq_2(x1) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_paddle(e1))