!7

p {
  new Matches m;
  S base = "heise.de 2018/04/20 (raw)";
  for (S list : mechListsPlusNumber(barCombine(base, "Similar lines"))) {
    L<S> l = mechList(list);
    for (S s : mechList(barCombine(list, "Theories")))
      if "all lines end with *"
        print("Theory " + s + ": " + (allEndWithIC(l, $1) ? "VERIFIED" : "failed"));
      else
        print("Uninterpretable theory: " + s);
  }
}