#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.