!7

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