LinkedList<Argeq> argeqList = new LinkedList<Argeq>();
for (org.mizartools.system.xml.Pair pair : identify.getEqArgs().getPairList()) {
Argeq argeq = new Argeq(pair.getX(), pair.getY());
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);