Definitions for "Hail insurance"