public override String ToString()
{
if (null == stringRep)
{
StringBuilder sb = new StringBuilder();
sb.Append(quantifier);
sb.Append(" ");
foreach (Variable v in variables)
{
sb.Append(v.ToString());
sb.Append(" ");
}
sb.Append(quantified.ToString());
stringRep = sb.ToString();
}
return stringRep;
}
}