When cars are all self driving, or we move away from commuting too much as we do, these will be seen only in museums.
Cars are moving towards being self-autonomous.
A self-autonomous car is a self driving 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 s1 x2.((n_driving(x2) & a_self(s1) & Theme(s1,x2)) -> (x1 = x2)) & n_car(x1)) | exists e1 e2 e3 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 e1 s1 x1.(towards(e1,s1) & Theme(s1,x1) & a_self-autonomous(s1) & Actor(e1,x1) & v_move(e1) & n_car(x1))