LOCAL vv_type : STRING  ; fv_type : SET [ 1 : ? ] OF STRING ; i : INTEGER ; END_LOCAL ; vv_type := variable_value_type ( variable ) ; REPEAT i := 1 TO HIINDEX ( values_and_locations ) ; fv_type := TYPEOF ( values_and_locations [ i ] . simple_value ) ; IF  NOT  ( ( 'finite_element_analysis_control_and_result_schema.' + 'unspecified_value' ) IN  fv_type ) THEN  IF NOT ( vv_type IN fv_type ) THEN RETURN  ( FALSE ) ; END_IF  ; END_IF ; END_REPEAT ; RETURN ( TRUE ) ;