a beach with footprints on the sand a person sitting down with an umbrella
A person with a guitar dances.
A person that dances cannot be sitting down at the same time.
exists x1 x4.(n_sand(x4) & all x2.(n_person(x2) -> exists e1 s1 x3 x5 x6.(a_topic(x1) & with(x1,x3) & with(e1,x6) & n_umbrella(x6) & a_down(s1) & Manner(e1,s1) & Actor(e1,x5) & v_sit(e1) & (x3 = x5) & for(x3,x2) & on(x3,x4) & n_footprint(x3))) & n_beach(x1))
exists e1 x1 x2.(Actor(e1,x1) & v_dance(e1) & with(x1,x2) & n_guitar(x2) & n_person(x1))