CASE date . month_component OF 1 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; 2 : BEGIN IF ( leap_year ( date . year_component ) ) THEN RETURN  ( { 1 <= date . day_component <= 29 } ) ; ELSE RETURN  ( { 1 <= date . day_component <= 28 } ) ; END_IF ; END ; 3 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; 4 : RETURN  ( { 1 <= date . day_component <= 30 } ) ; 5 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; 6 : RETURN  ( { 1 <= date . day_component <= 30 } ) ; 7 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; 8 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; 9 : RETURN  ( { 1 <= date . day_component <= 30 } ) ; 10 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; 11 : RETURN  ( { 1 <= date . day_component <= 30 } ) ; 12 : RETURN  ( { 1 <= date . day_component <= 31 } ) ; END_CASE ; RETURN ( FALSE ) ;