!7

sS knowledge = [[
  CirclesAndLines(circles=[Circle(text="A snippet", traits=[], x=d("0.33"), y=d("0.44")), Circle(text="a type", traits=[], x=d("0.7"), y=d("0.43"))], lines=[Arrow(a=t5, b=t31, text="has", traits=[])], title="A snippet")
]];

p {
  L<Web> knol = websFromCALStructures(knowledge);
  Web web = webFromTriples(#1010443, "is a", "snippet");
  web_isA_expandForward(web);
  web_addWebsToWeb(knol, web);
  web_mergeNodesByFirstLabelIC(web);
  web_rename(web, "a type", "type ?");
  web_collapseBackwards_keep(web, "is");
  for (WebRelation rel : web_findRelations(web, "*", "has", "type ?"))
    if (isSnippetID(web_text(rel.a)))
      web_setText(rel.b, "type " + getSnippetType(web_text(rel.a)));
  showWeb(web);
}