static class SNLInfo {
  Explain originalExplain; // original parse of this element
  S name; // some unique name of this element for referring to it
}