Two people are spending good time in their boat.
There is only one person in the boat.
The boat is occupied by only one person or two people. Both cannot be true.
exists e1 s1 x1 x2 x3.(in(e1,x3) & n_boat(x3) & of(x3,x1) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_spend(e1) & n_time(x2) & a_good(s1) & Theme(s1,x2) & n_people(x1) & card_eq_2(x1))
exists p1 x1 x3.(n_boat(x3) & exists x2.((x1 = x2) & in(x2,x3) & n_person(x2) & card_eq_1(x2) & r_only(x2)))