public override string ToString() { string str = _name + "("; for (int i = 0; i < _arity; i++) { AbstractTerm term = (AbstractTerm)this[i]; str += term.ToString(); if (i == _arity - 1) { str += ")"; } else { str += ","; } } return str; }