public override String ToString() { if (null == stringRep) { StringBuilder sb = new StringBuilder(); sb.Append("NOT("); sb.Append(negated.ToString()); sb.Append(")"); stringRep = sb.ToString(); } return stringRep; } }