LOCAL types : SET OF STRING := TYPEOF ( spc ) ; END_LOCAL ; IF  ( ( schema_prefix + 'finite_integer_interval' ) IN  types ) OR ( ( schema_prefix + 'integer_interval_to_max' ) IN  types ) THEN  RETURN  ( TRUE ) ; END_IF  ; IF  ( ( schema_prefix + 'finite_real_interval' ) IN  types ) THEN  RETURN  ( bool ( spc \ finite_real_interval . max_closure = closed ) ) ; END_IF  ; IF ( ( schema_prefix + 'real_interval_to_max' ) IN types ) THEN RETURN  ( bool ( spc \ real_interval_to_max . max_closure = closed ) ) ; END_IF ; RETURN ( FALSE ) ;