// Draft class dictionary for smart histories

SmartHistory = "smart" "history" <processedClaims> List(ClaimHistory).
ClaimHistory = "claim" <claim> Claim "proposer" <proposer> Scholar 
  "opposer" <opposer> Scholar 
  <h> HistoryKind 
  "reputation" "proposer" "after" <proposerAfter> Scholar
  "reputation" "opposer"  "after" <opposerAfter> Scholar
  <kickActions> List(KickAction). 
KickAction = "scholar" "kicked" <scholar> Scholar <reason> Text.
Scholar = <name> ScholarName <rep> Reputation.

HistoryKind = RefutationHistory | StrengtheningHistory | AgreementHistory.

RefutationHistory = "refute" <steps> List(ProvideSolve) "result" <result> Result.
Result = Successful | Unsuccessful.
Successful = "successful". 
Unsuccessful = "unsuccessful".
ProvideSolve = Provide | Solve.
Provide = "provided" "instance" "by" <scholar> Scholar  "instance" <i> Instance. 
Solve = "solution" "by" <scholar> Scholar "solution" <s> Solution.

StrengtheningHistory = "strengthen" <r> RefutationHistory
  "result" <result> Result.

AgreementHistory = "agree" <r1> RefutationHistory <r2> Opt(RefutationHistory)
  "result" <result> Result.

Text = <v> verbatim.