public override String ToString() { if (null == strRep) { StringBuilder sb = new StringBuilder(); if (isNegativeLiteral()) { sb.Append("~"); } sb.Append(getAtomicSentence().ToString()); strRep = sb.ToString(); } return strRep; }