typeList.add(type);
}
Term term1 = Adapter.getTerm(abstractSignature, reduction.getTerm1(), new VariableId());
Term term2 = Adapter.getTerm(abstractSignature, reduction.getTerm2(), new VariableId());
ItemDefinition itemDefinition = new ReductionRegistration(loci, typeList, term1, term2);
ItemId itemId = new ItemId(articleId, ItemType.redreg, reduction.getNr());
DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
return decodedLibraryItem;
}