poodle playing on a beach
A dog is at the beach.
A poodle is a type of dog.
exists s1 x1 x2.(a_topic(x1) & on(x1,x2) & n_beach(x2) & n_playing(x1) & a_poodle(s1) & Theme(s1,x1))
exists p1 x1 x2.(n_beach(x2) & at(x1,x2) & n_dog(x1))