static L<TripleWeb> triplesWithB_verified(Symbol b) {
  ret ai_verifiedTriples(ai_triplesWithB(b));
}