All the people on the boat is taking in the excellent view.
Some people are sitting indoors.
All the people can't be taking in the view if some people are sitting indoors.
exists s1 x2 x3 x4.(n_view(x4) & a_excellent(s1) & Theme(s1,x4) & n_boat(x3) & n_people(x2) & all x1.((x1 = x2) -> exists e1.(in(e1,x4) & Actor(e1,x1) & v_take(e1) & on(x1,x3))))
exists p1 x1.(exists e1 x2.((x1 = x2) & n_indoor(x2) & Actor(e1,x2) & v_sit(e1)) & n_people(x1))