LOCAL
    typenames : SET OF STRING := stripped_typeof (expr);
  END_LOCAL;
  IF  'EXPRESSION' IN  typenames THEN
    RETURN  (bool(('NUMERIC_EXPRESSION' IN  typenames) OR
      ('STRING_EXPRESSION' IN  typenames) OR
      ('BOOLEAN_EXPRESSION' IN  typenames)));
  END_IF;
  IF  'MATHS_FUNCTION' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'FUNCTION_APPLICATION' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'MATHS_SPACE' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'MATHS_VARIABLE' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'DEPENDENT_VARIABLE_DEFINITION' IN  typenames THEN
    RETURN  (has_values_space (expr\unary_generic_expression.operand));
  END_IF;
  IF  'COMPLEX_NUMBER_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'LOGICAL_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'BINARY_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'MATHS_ENUM_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'REAL_TUPLE_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'INTEGER_TUPLE_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'ATOM_BASED_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'MATHS_TUPLE_LITERAL' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF  'PARTIAL_DERIVATIVE_EXPRESSION' IN  typenames THEN
    RETURN  (TRUE);
  END_IF;
  IF 'DEFINITE_INTEGRAL_EXPRESSION' IN typenames THEN
    RETURN  (TRUE);
  END_IF;
  RETURN (FALSE);