public static void defineExplanationPhrase(Keyword phrasekey, Keyword audience, String phrase, Cons modifiers) {
    { HashTable vocabulary = ((HashTable)(Logic.$EXPLANATION_VOCABULARIES$.lookup(audience)));
      Cons mods = modifiers;
      Cons entry = Stella.NIL;

      if (vocabulary == null) {
        vocabulary = HashTable.newHashTable();
        Logic.$EXPLANATION_VOCABULARIES$.insertAt(audience, vocabulary);
      }
      entry = ((Cons)(vocabulary.lookup(phrasekey)));
      if (entry == null) {
        entry = Stella.NIL;
      }
      vocabulary.insertAt(phrasekey, Cons.cons(Cons.cons(StringWrapper.wrapString(phrase), mods), entry));
    }
  }