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