public NumerationType AutoNewNumerator { get; }