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