sclass Statement extends Node {
  S text;
  S possibleEnglishTranslation; // for humans
}