static Web ai_getWebFromTerm(S s) {
  if (possibleGlobalID(s)) {
    Web web = ai_getWeb(s);
    if (web != null) ret web;
  }
  new Matches m;
  if (swic(s, "Web ", m))
    ret ai_getWeb(m.rest());
  null;
}