!7

p {
  for (Lisp l : parsedTrueStatements_cached()) {
    if (l(l) == 1 && possibleGlobalID(l.head) && possibleGlobalID(l.rawOrNull(0)))
      print("! " + l);
  }
}