Alternate Definitions for TIMED__SEE

include archived terms