An surfer airborne over a wave.
A surfer with a black and red board is airborne over a wave.
Not all surfer uses a black and red board.
exists x1 x2 x3.(a_topic(x1) & over(x1,x3) & n_wave(x3) & n_airborne(x1) & of(x1,x2) & n_surfer(x2))
exists s1 s2 s3 x1 x2 x3.(over(s3,x3) & n_wave(x3) & Theme(s3,x1) & a_airborne(s3) & with(x1,x2) & n_board(x2) & a_red(s2) & Theme(s2,x2) & a_black(s1) & Theme(s1,x2) & n_surfer(x1))