When cars are all self driving, or we move away from commuting too much as we do, these will be seen only in museums.
There wont be any cars in museums.
The cars cannot be seen only in museums if there wont be any cars in museums.
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 e1 p1 x1.(exists p2.all x2.(n_car(x2) -> exists x3.((x1 = x2) & in(x2,x3) & n_museum(x3))) & Topic(e1,p1) & Actor(e1,x1) & v_wont(e1))