IReadOnlyList<Property> ICrossSection.Properties { get; }