Two surfers carry their boards to the end of a walkway to join the others in the water.
The surfers are inside an office building.
The surfers cannot be both inside an office building and in the water.
exists e1 p1 x1 x2 x3 x4 x5 x6.(n_water(x6) & n_end(x4) & Topic(e1,p1) & exists e2.(in(e2,x6) & Theme(e2,x2) & Actor(e2,x1) & v_join(e2)) & -(x2 = x1) & n_person(x1) & n_person(x2) & to(e1,x4) & of(x4,x5) & n_walkway(x5) & Theme(e1,x3) & Actor(e1,x2) & v_carry(e1) & n_board(x3) & of(x3,x1) & n_thing(x1) & n_surfer(x2) & card_eq_2(x2) & n_surfer(x1) & card_eq_2(x1))
exists p1 x1.(n_surfer(x1) & exists x2 x3.(inside(x1,x2) & n_building(x2) & of(x2,x3) & n_office(x3)))