Quantity ContactToolResult.Minimum { get; }