LOCAL domn : tuple_space := domain ; fspc : maths_space ; dim : nonnegative_integer ; k : positive_integer ; END_LOCAL ; IF  ( space_dimension ( domain ) = 1 ) AND  ( ( schema_prefix + 'tuple_space' ) IN  TYPEOF  ( factor1 ( domain ) ) ) THEN  domn := factor1 ( domain ) ; END_IF  ; dim := space_dimension ( domn ) ; k := vrblint ; IF  k > dim THEN  RETURN  ( FALSE  ) ; END_IF  ; fspc := factor_space ( domn , k ) ; IF  NOT ( ( schema_prefix + 'real_interval' ) IN TYPEOF ( fspc ) ) THEN  RETURN  ( FALSE  ) ; END_IF  ; IF  lowerinf AND  min_exists ( fspc ) THEN  RETURN  ( FALSE  ) ; END_IF  ; IF upperinf AND max_exists ( fspc ) THEN RETURN  ( FALSE ) ; END_IF ; RETURN ( TRUE ) ;