static L<Web> webs_readTripleFile(File f) {
  Iterator<S> it = linesFromFile(f);
  //L<S> names = (L) unstructure(it.next());
  new L<S> names;
  while (it.hasNext()) {
    S s = trim(it.next());
    if (empty(s)) break;
    names.add(unquote(s));
  }
  new L<Web> webs;
  while (it.hasNext()) {
    S s = it.next();
    pcall {
      L<S> l = splitAtSpace(s);
      if (l(l) == 3)
        webs.add(webFromTriple(
          names.get(parseInt(first(l))), 
          names.get(parseInt(second(l))),
          names.get(parseInt(last(l)))));
    }
  }
  ret webs;
}