!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")

  CirclesAndLines(circles=[Circle(text="A snippet", traits=[], x=d("0.32"), y=d("0.3")), Circle(text="55", traits=[], x=d("0.67"), y=d("0.31")), Circle(text="a program", traits=[], x=d("0.52"), y=d("0.59"))], lines=[Arrow(a=t5, b=t31, text="with type", traits=[]), Arrow(a=t5, b=t57, text="Then: is", traits=[])], title="Snippet type 55, clarified")

]];

p {

  L<Web> knol = websFromCALStructures(knowledge);

  Web web = webFromTriples(#1010443, "is a", "snippet");

  web_isA_expandForward(web);

  web_addWebToWeb(first(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)));

  web_contractRelation(web, "has", "type");

  web_is_addToSource(web);

  Clusters<S> clusters = new HashMap;

  treeSetClusters_add(clusters, "has type", "with type");

  web_clusterClean(web, clusters);

  Web patternWeb = web_clusterClean(second(knol), clusters);

  web_ifThen2(web, patternWeb);

  showTabbedWebs("Pattern", patternWeb, "Input", web);

}