IReadOnlyList<Property> CrossSection.Properties { get; }