Blackboard = Player_List Store Transaction_List History EOF. Player = PlayerName Turn Money [ PublicKey]. PlayerName = String. Turn : Yes | No | Done . Yes = "" "" extends Turn. Done = "" "" extends Turn. No = "" "" extends Turn. PublicKey = "" "". History = "" Transaction_EList "". Store = "" *l Store_EList *l "". Transaction : Buy | Offer | DeliverR | Finish common PlayerName Derivative [ DigitalSignature]. Buy = "" "" extends Transaction. Offer = "" "" extends Transaction. DeliverR = "" "" extends Transaction. Finish = "" "" extends Transaction. DigitalSignature = "" "". Derivative = "" *l DerivativeName PlayerName Money DerivativeType ["" PlayerName ""] [ RawMaterial] *l [ FinishedProduct] "". FinishedProduct = "" Assignment Money "". DerivativeName = "" String "". Money = "" float "". BoughtBy = "" String "". DerivativeType = "" ClauseType_List "". ClauseType = "" TotalLiteralNum PosLiteralNum "". TotalLiteralNum = "" Number "". PosLiteralNum = "" Number "". RawMaterial = "" Clause_List "". Clause = "" Weight Lit_List "". Weight = "" Number "". Lit = "" Literal "". Literal : PosLiteral | NegLiteral . PosLiteral = "" Variable "" extends Literal. NegLiteral = "" Variable "" extends Literal. Variable = Ident. Assignment = "" VarAssignment_List "". VarAssignment = "" Lit "". Quality = "" Number "". Main = . notparsed visitor PrintVisitor = int boolean extends UniversalVisitor. notparsed visitor CopyVisitor = derived Object extends UniversalVisitor. notparsed visitor SubgraphVisitor = boolean init {{ true }} extends UniversalVisitor. notparsed visitor EqualVisitor = boolean init {{ true }} extends UniversalVisitor. notparsed visitor DisplayVisitor = int extends UniversalVisitor. notparsed visitor TraceVisitor = int extends UniversalVisitor. notparsed visitor UniversalVisitor : . Player_List = Nonempty_Player_List. Transaction_List = Nonempty_Transaction_List. Transaction_EList = [ Nonempty_Transaction_EList]. Store_EList = [ Nonempty_Store_EList]. ClauseType_List = Nonempty_ClauseType_List. Clause_List = Nonempty_Clause_List. Lit_List = Nonempty_Lit_List. VarAssignment_List = Nonempty_VarAssignment_List. Nonempty_Player_List = Player [ Nonempty_Player_List]. Nonempty_Transaction_List = Transaction [ Nonempty_Transaction_List]. Nonempty_Transaction_EList = Transaction [ Nonempty_Transaction_EList]. Nonempty_Store_EList = Store [ Nonempty_Store_EList]. Nonempty_ClauseType_List = ClauseType [ Nonempty_ClauseType_List]. Nonempty_Clause_List = Clause [ Nonempty_Clause_List]. Nonempty_Lit_List = Lit [ Nonempty_Lit_List]. Nonempty_VarAssignment_List = VarAssignment [ Nonempty_VarAssignment_List].