A man, woman, and child share a moped bike.
People in a car.
People can��t share a bike and a car at the same time
exists x1 x2 x3.(a_topic(x1) & rel(x1,x2) & all x4 s1.((n_bike(x4) & a_moped(s1) & Theme(s1,x4)) -> exists x5 x6.(subset_of(x5,x2) & for(x5,x4) & n_share(x5) & of(x5,x6) & n_child(x6))) & subset_of(x3,x2) & n_woman(x3) & n_man(x1))
exists x1 x2.(a_topic(x1) & in(x1,x2) & n_car(x2) & n_people(x1))