When cars are all self driving, or we move away from commuting too much as we do, these will be seen only in museums.
car technology won't advance
Cars cannot be self driving if technology won't advance.
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 x1 x2.(-exists e1.(Actor(e1,x1) & v_advance(e1)) & n_technology(x1) & of(x1,x2) & n_car(x2))