Alternate Definitions for has upper quantity

include archived terms