A kayaker traverses some churning rapids.
A person is kayaking.
A kayaker is a person who kayaks.
exists e2 e1 x1 x2.(Theme(e2,x2) & Actor(e2,x1) & v_traverse(e2) & n_rapid(x2) & Actor(e1,x2) & v_churn(e1) & n_kayaker(x1))
exists e1 x1.(Actor(e1,x1) & v_kayake(e1) & n_person(x1))