Alternate Definitions for Galaxy_Evolution_Explorer

include archived terms