Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 29 nodes, 41 edges Strategy graph: { Derivative_EList -> * } source:Derivative_EList source-edge:0 target:* Class graph slice: Assignment = Literal_List . Clause_List = Nonempty_Clause_List . Derivative = DerivativeName PlayerName Money DerivativeType [ PlayerName ] [ RawMaterial ] [ FinishedProduct ] . Lit : PosLiteral | NegLiteral common Variable . ClauseType_List = Nonempty_ClauseType_List . Clause = Weight Literal_List . PosLiteralNum = int . Derivative_EList = [ Nonempty_Derivative_EList ] . Weight = int . DerivativeName = Ident . Literal_List = Nonempty_Literal_List . Nonempty_Clause_List = Clause [ Nonempty_Clause_List ] . FinishedProduct = Assignment Money . ClauseType = TotalLiteralNum PosLiteralNum . Nonempty_ClauseType_List = ClauseType [ Nonempty_ClauseType_List ] . DerivativeType = ClauseType_List . Money = float . Variable = Ident . TotalLiteralNum = int . PlayerName = Ident . NegLiteral = extends Lit. Literal = Lit . PosLiteral = extends Lit. Nonempty_Derivative_EList = Derivative [ Nonempty_Derivative_EList ] . RawMaterial = Clause_List . Nonempty_Literal_List = Literal [ Nonempty_Literal_List ] .