A man and woman sleep on a bus while it travels.
The man and woman are asleep inside the bus.
The man and woman are sleeping inside the bus because people sit inside a bus while it is in motion.
(x)
exists s1 x1 x2 x3 x4.(n_bus(x4) & n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1) & inside(s1,x4) & Theme(s1,x1) & a_asleep(s1))