}
}
if (aid == null) aid = pattern.getAid();
Symbols symbols = VocabularyFile.getSymbols(aid);
SymbolId symbolId = null;
SymbolType symbolType = null;
ArticleId articleId = new ArticleId(aid);
String token = null;
symbolType = SymbolType.vocL;
token = symbols.getSymbolL(symbolNr);
symbolId = new SymbolId(articleId, symbolType, token, symbolNr);