Test = MetaGameInfo "games" List(IteratedGameHistory). IteratedGameHistory = "(game" List(BasicGameStep) ")". BasicGameStep = "basicGame" RelationSelection FirstPlayer SecondPlayer [NegOp] float. AbsPlayer : FirstPlayer | SecondPlayer common Player. FirstPlayer = "csp" CSP. SecondPlayer = "assignment" List(Literal). CSP = "done". Literal : Pos | Neg common Variable. Pos = . Neg = "!". RelationSelection = "R1" RelationNumber "R2" RelationNumber. // the same reltion selection is kept for two rounds. Player = Name [NegOp] float. NegOp = "-". MetaGameInfo = "metaInfo" MPlayer // Anna MPlayer // Bob RelationSelectionPolicy. RelationSelectionPolicy = RspName. MPlayer = Solver InstanceSelection. Solver = SolverName. InstanceSelection = InstSelName. // terminal buffer rule SolverName = String. RspName = String. InstSelName = String. Name = Ident. RelationNumber = int. Variable = int. List(S) ~ {S}. Main = .