When cars are all self driving, or we move away from commuting too much as we do, these will be seen only in museums.
The car is empty.
Cars are all self driving is a type of car.
exists p1 p2 p3 x3.(n_thing(x3) & n_person(x3) & n_person(x3) & exists e4 x5.(r_only(e4) & in(e4,x5) & n_museum(x5) & Theme(e4,x3) & v_see(e4)) & (exists p4 x1.(all x2 s1.((n_driving(x2) & a_self(s1) & Theme(s1,x2)) -> (x1 = x2)) & n_car(x1)) | exists e2 e3 e1 s2 x4.(r_too(e1) & as(e1,e3) & Actor(e3,x3) & v_do(e3) & a_much(s2) & Manner(e1,s2) & from(e1,e2) & Actor(e2,x4) & v_commute(e2) & r_away(e1) & Actor(e1,x3) & v_move(e1))) & when(p2,p3))
exists s1 x1.(n_car(x1) & Theme(s1,x1) & a_empty(s1))