/// <summary>
/// Returns <c>true</c> if the simple deviation strength is greater than or equal to the strength parameter.
/// </summary>
/// <returns><c>true</c> iff <c>(a * d) >= 2^k * (b * c)</c>.</returns>
/// <remarks>
/// <para>There are special cases defined explicitly:</para>
/// <para>If both <c>(a * d) = 0</c> and <c>(b * c) = 0</c>, return true if <c>k <= 0</c>.</para>
/// <para>If only <c>(a * d) = 0</c>, return <c>false</c>.</para>
/// <para>If only <c>(b * c) = 0</c>, return <c>true</c>.</para>
/// </remarks>
public override bool Validity(AbstractQuantifierSetting setting, Ice.Current __current)
{
FourFoldContingencyTable table = new FourFoldContingencyTable(setting.firstContingencyTableRows);
return table.SimpleDeviationValidity(K);
}