public override string ToString()
{
StringBuilder stringValue = new StringBuilder();
stringValue.Append("KnowledgeBase\n");
stringValue.Append("assertions:\n");
stringValue.Append(itsAssertions.ToString());
stringValue.Append("inferences:\n");
stringValue.Append(itsInferences.ToString());
return(stringValue.ToString());
}
