public override String ToString() { StringBuilder sb = new StringBuilder(); for (int i = 0; i < conjunctionOfClauses.Count; i++) { if (i > 0) { sb.Append(","); } sb.Append(conjunctionOfClauses[i].ToString()); } return sb.ToString(); } }