public override string ToString() { return Name() + " " + _structureName + "/" + _arity + "," + _ai; }