LOCAL types : SET OF STRING := TYPEOF ( spc ) ; END_LOCAL ; IF  ( ( schema_prefix + 'finite_integer_interval' ) IN  types ) THEN  RETURN  ( spc \ finite_integer_interval . max ) ; END_IF  ; IF  ( ( schema_prefix + 'integer_interval_to_max' ) IN  types ) THEN  RETURN  ( spc \ integer_interval_to_max . max ) ; END_IF  ; IF  ( ( schema_prefix + 'finite_real_interval' ) IN  types ) THEN  RETURN  ( spc \ finite_real_interval . max ) ; END_IF  ; IF ( ( schema_prefix + 'real_interval_to_max' ) IN types ) THEN RETURN  ( spc \ real_interval_to_max . max ) ; END_IF ; RETURN ( ? ) ;