static void ai_specTemp_length(S s) {
  post(s, "has length", ai_text(s, "is a list with length", "$X"));
}