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