Hi Nick,
I have a Skan R32 (bottom gun in this pic) ...it has a grip cocking mechanism, to use it you have to depress a button on the front of the action and shuttle the grip backwards to cock the mechanism and cycle the mag, then push it forwards to set the trigger and load a pellet, then pull the trigger...and this has to be done for each shot...it is not semi-auto by any definition!
...and besides, the mk2 Phoenix pictured above it is much quicker in use, but it is still manually cycled for each shot.