Boolean ContactResultingPinballTracker.IsSolved { get; }