Three people biking on a path with grass on either side of the path.
The people are flying in the air close to the sun on the moon.
People can't be biking and flying at the same time.
exists e1 x1 x2 x3 x4.(a_topic(x1) & all x5.(n_side(x5) -> (with(e1,x4) & on(x4,x5) & of(x5,x3))) & n_path(x3) & n_path(x3) & n_grass(x4) & on(e1,x3) & Actor(e1,x2) & v_bike(e1) & (x1 = x2) & n_people(x1) & card_eq_3(x1))
exists e1 x1 x2 x3 x4 x5.(n_moon(x5) & n_sun(x4) & n_close(x2) & of(x2,x3) & n_air(x3) & n_people(x1) & in(e1,x2) & on(x2,x5) & to(x2,x4) & Actor(e1,x1) & v_fly(e1))