Alternate Definitions for gravel

include archived terms