IReadOnlyList<Property> HatCrossSection.Properties { get; }