Alternate Definitions for has greater vertical extent than

include archived terms