+
GraphW
--
PointedGraphW
PredicatePointedGraph
-<-
PointedGraphW
->-
PointedGraphPredicate
/
PointedGraphs
PointedGraphW
URIW
/-
PointedGraphW