Alternate Definitions for HighEnergyParticleDetector

include archived terms