IReadOnlyList<Property> ContactPenetration.Properties { get; }