AIMA.Core.Logic.FOL.KB.Data.ReducedLiteral.ToString C# (CSharp) Method

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

            return strRep;
        }
    }