abstract sclass VirtualNodeIndex {
  // concepts that are used in the generated webs,
  // but can't be queried
  Set<S> implicitConcepts;
  
  abstract int numWebs();
  abstract L<WebNode> get(S query);
  
  Set<S> implicitConcepts() { ret implicitConcepts; }
}