IReadOnlyList<Property> ContactResultingPinballTracker.Properties { get; }