Quantity ContactResultingPinballTracker.ReportedFrequency { get; }