assumptions = new Assumptions(new Verum());
} else {
assumptions = new Assumptions(Adapter.getFormula(abstractSignature, definiens.getFormula(), new VariableId()));
}
ProperDefiniens properDefiniens = Adapter.getProperDefiniens(abstractSignature, definiens.getDefMeaning(), new VariableId());
itemDefinition = new Definiens(definiendum, loci, visible, assumptions, properDefiniens);
ItemId itemId = new ItemId(articleId, ItemType.dfs, definiens.getDefnr() - relativeNr);
DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
return decodedLibraryItem;
}