svoid verbalize_allElementsContain(O o, S s) {
  if (isStringList(o))
    if (allContainIC((LS) o, s))
      emit("All entries contain the string " + quote(s));
}