public void AppendCanComeFromSet(char c, AASimilarity aaSimilarity)
{
SpecialFunctions.CheckCondition(char.IsUpper(c)); //!!!raise error
string sCanComeFromSet = aaSimilarity.CanComeFromSet(c);
sbCurrentDisjunct.AppendGroundSet(sCanComeFromSet);
++CoreLengthSoFar;
}