LOCAL k : positive_integer ; m : positive_integer ; END_LOCAL ; IF  NOT EXISTS ( str ) THEN  RETURN  ( FALSE  ) ; END_IF  ; k := parse_express_identifier ( str , 1 ) ; IF  k = 1 THEN  RETURN  ( FALSE  ) ; END_IF  ; REPEAT WHILE k <= LENGTH  ( str ) ; IF  ( str [ k ] <> '.' ) OR ( k = LENGTH ( str ) ) THEN  RETURN  ( FALSE  ) ; END_IF  ; m := parse_express_identifier ( str , k + 1 ) ; IF m = k + 1 THEN RETURN  ( FALSE ) ; END_IF ; k := m ; END_REPEAT ; RETURN ( TRUE ) ;