I don't know what a semi-automatic gearbox is. The preselector gearbox, the driver selects the next gear and then to change gear presses the leftmost of the three pedals (I can't call it a clutch but I have forgotten what it is called). I have driven a modern bus with a fully automatic gearbox.