Statistics: sg: 5 nodes, 4 edges, 6 classes, 0 constraints cg slice: 15 nodes, 17 edges Strategy graph: { Blackboard -> { Store } { Store } -> { Derivative } { Derivative } -> { RawMaterial } { RawMaterial } -> { PosLiteral, NegLiteral } } source:Blackboard source-edge:0 target:{ PosLiteral, NegLiteral } Class graph slice: Derivative = [ RawMaterial ] . RawMaterial = Clause_List . Literal_List = Nonempty_Literal_List . Literal = Lit . Derivative_EList = [ Nonempty_Derivative_EList ] . Nonempty_Clause_List = Clause [ Nonempty_Clause_List ] . Nonempty_Literal_List = Literal [ Nonempty_Literal_List ] . Store = Derivative_EList . PosLiteral = . NegLiteral = . Blackboard = Store . Clause = Literal_List . Nonempty_Derivative_EList = Derivative [ Nonempty_Derivative_EList ] . Clause_List = Nonempty_Clause_List . Lit : PosLiteral | NegLiteral common .