static L<WebNode> ai_search_dollarX_verified(S a, S b, S c) {
  S query = isDollarVar(a) ? c : a;
  ret webs_search_dollarX(webFromTriples(a, b, c), indexedVerifiedWebs(query));
}

static L<WebNode> ai_search_dollarX_verified(T3<S> t) {
  ret ai_search_dollarX_verified(t.a, t.b, t.c);
}