IReadOnlyList<Property> ShellTopPeakStress.Properties { get; }