LOCAL temp : maths_space ; idx_rng_itvl , loc_dmn_itvl : finite_integer_interval ; END_LOCAL ; temp := factor1 ( index_range ) ; IF  ( schema_prefix + 'tuple_space' ) IN  TYPEOF  ( temp ) THEN  temp := factor1 ( temp ) ; END_IF  ; IF  NOT  ( ( schema_prefix + 'finite_integer_interval' ) IN  TYPEOF  ( temp ) ) THEN  RETURN  ( FALSE  ) ; END_IF  ; idx_rng_itvl := temp ; temp := factor1 ( loc_domain ) ; IF  ( schema_prefix + 'tuple_space' ) IN  TYPEOF  ( temp ) THEN  temp := factor1 ( temp ) ; END_IF  ; IF NOT ( ( schema_prefix + 'finite_integer_interval' ) IN TYPEOF ( temp ) ) THEN RETURN  ( FALSE ) ; END_IF ; loc_dmn_itvl := temp ; RETURN ( bool ( ( loc_dmn_itvl . min <= idx_rng_itvl . min ) AND ( idx_rng_itvl . max <= loc_dmn_itvl . max + 1 ) ) ) ;