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);