public static boolean heuristicAcronymP(String itemstring) {
    { boolean letterfoundP = false;
      boolean numberfoundP = false;

      { char c = Stella.NULL_CHARACTER;
        String vector000 = itemstring;
        int index000 = 0;
        int length000 = vector000.length();

        for (;index000 < length000; index000 = index000 + 1) {
          c = vector000.charAt(index000);
          if (Stella.$CHARACTER_TYPE_TABLE$[(int) c] == Stella.KWD_DIGIT) {
            numberfoundP = true;
          }
          else if (Stella.lowerCaseCharacterP(c) ||
              Stella.upperCaseCharacterP(c)) {
            letterfoundP = true;
          }
          else if (Stella.getQuotedTree("((#\\. #\\- #\\/) \"/STELLA\")", "/STELLA").memberP(CharacterWrapper.wrapCharacter(c))) {
            numberfoundP = true;
          }
          else {
            return (false);
          }
        }
      }
      return (numberfoundP &&
          (letterfoundP &&
           (!Stella.ordinalNumberStringP(itemstring))));
    }
  }