AttributeNotation attributeNotation = (AttributeNotation)itemDefinition;
SymbolId symbolId = attributeNotation.getSymbolId();
SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
itemDefinition = new AttributeNotation(symbolIdNew, attributeNotation.getLoci(), attributeNotation.getFormat(), attributeNotation.getVisible(), attributeNotation.getConstructor(), attributeNotation.getAntonym(), attributeNotation.getSynonym());
} else if (itemDefinition instanceof org.mizartools.dli.AggregateNotation) {
AggregateNotation aggregateNotation = (AggregateNotation)itemDefinition;
SymbolId symbolId = aggregateNotation.getSymbolId();
SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
itemDefinition = new AggregateNotation(symbolIdNew, aggregateNotation.getLoci(), aggregateNotation.getFormat(), aggregateNotation.getVisible(), aggregateNotation.getConstructor(), aggregateNotation.getSynonym());
} else if (itemDefinition instanceof org.mizartools.dli.PredicateNotation) {
PredicateNotation predicateNotation = (PredicateNotation)itemDefinition;
SymbolId symbolId = predicateNotation.getSymbolId();
SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
itemDefinition = new PredicateNotation(symbolIdNew, predicateNotation.getLoci(), predicateNotation.getFormat(), predicateNotation.getVisible(), predicateNotation.getConstructor(), predicateNotation.getAntonym(), predicateNotation.getSynonym());