argeqList.add(argeq);
}
Argeqs argeqs = new Argeqs(argeqList);
Func func1 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm1(), new VariableId());
Func func2 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm2(), new VariableId());
ItemDefinition itemDefinition = new IdentifyRegistration(loci, func1, func2, argeqs);
ItemId itemId = new ItemId(articleId, ItemType.idreg, identify.getNr());
DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
return decodedLibraryItem;
}