public override string ToString() { return String.Format ("AbbrevEntry ({0},{1},{2})", abbrev_id, tag, has_children); }