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