Statistics: sg: 4 nodes, 3 edges, 4 classes, 0 constraints cg slice: 6 nodes, 6 edges Strategy graph: { Blackboard -> { Store } { Store } -> { Derivative } { Derivative } -> RawMaterial } source:Blackboard source-edge:0 target:RawMaterial Class graph slice: RawMaterial = . Blackboard = Store . Derivative_EList = [ Nonempty_Derivative_EList ] . Nonempty_Derivative_EList = Derivative [ Nonempty_Derivative_EList ] . Derivative = [ RawMaterial ] . Store = Derivative_EList .