!7 p { File file = ai_triplesFileFromGithub(); print("Loading triples."); long time = sysNow(); L triples = webs_readTripleFileAsTriples(file); done2_always(time, "Have " + nTriple(triples)); }