/// <summary>
 /// Returns <c>true</c> iff the strength is greater than or equal to the strength parameter.
 /// </summary>
 /// <returns><c>true</c> iff the strength defined as <c>a / (a + b + c)</c> is greater than or equal to the strength parameter.</returns>
 /// <remarks>
 /// <para>If (a + b + c) = 0, returns false.</para>
 /// </remarks>
 public override bool Validity(AbstractQuantifierSetting setting, Ice.Current __current)
 {
     FourFoldContingencyTable table = new FourFoldContingencyTable(setting.firstContingencyTableRows);
     return table.DoubleFoundedImplicationValidity(P);
 }