Alternate Definitions for deep ocean basin

include archived terms