#scale_factor__scalefactor  a number used as a multiplier in scaling
  supertype:  multiplier_factor__multiplier  the number by which a multiplicand is multiplied
  subtype:  time-scale_factor  (in simulation) the ratio of the simulation time to the time of the real process

No statement uses or specializes scale_factor; click here to add one.