Statistics: sg: 2 nodes, 1 edge, 1 class, 0 constraints cg slice: 27 nodes, 38 edges Strategy graph: { Derivative -> * } source:Derivative 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 . 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. RawMaterial = Clause_List . Nonempty_Literal_List = Literal [ Nonempty_Literal_List ] .