Two surfers preparing to enter the water for a competition.
The surfing people are competeing against each other.
If two surfers enter the water for a competition they must be competeing against each other.
exists e1 p1 x1 x2 x3.(n_water(x3) & a_topic(x1) & Topic(e1,p1) & Actor(e1,x2) & v_prepare(e1) & exists e2 x4.(for(e2,x4) & n_competition(x4) & Theme(e2,x3) & Actor(e2,x2) & v_enter(e2)) & (x1 = x2) & n_surfer(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_people(x1) & of(x1,x2) & n_surfing(x2) & all x3.(n_other(x3) -> against(e1,x3)) & Actor(e1,x1) & v_competee(e1))