// Instance
game-specific Instance
// Solution
game-specific Solution
domain
// Claim
claim game-specific intensional definition 
  AE protocol "ClassicProtocol1"

protocols
  protocol "ClassicProtocol ForAllExists"
  proposer Alice
  refuter Bob
  steps
  instance from Bob
  solution of 0 from Alice

  protocol "ClassicProtocol ExistsForAll"
  proposer Alice
  refuter Bob
  steps
  instance from Alice
  solution of 0 from Bob

  protocol "ClassicProtocol Secret Positive"
  proposer Alice
  refuter Bob
  steps
  // use most distant rule, first from other and own
  instance from Bob
  solution of 0 from Bob // secret
  solution of 0 from Alice

  protocol "ClassicProtocol Secret Negative"
  proposer Alice
  refuter Bob
  steps
  instance from Alice
  solution of 0 from Alice // secret
  solution of 0 from Bob

  protocol "Renaissance"
  proposer Alice
  refuter Bob
  steps
  instance from Alice //1
  instance from Alice //2
  instance from Bob   //3
  instance from Bob   //4
  solution of 0 from Bob   // for 1
  solution of 1 from Bob   // for 2
  solution of 2 from Alice // for 3
  solution of 3 from Alice // for 4

  protocol "Renaissance with secrets"
  proposer Alice
  refuter Bob
  steps
  instance from Alice //1
  instance from Alice //2
  solution of 0 from Alice // for 1
  solution of 1 from Alice // for 2
  instance from Bob   //3
  instance from Bob   //4
  solution of 0 from Bob // for 1
  solution of 1 from Bob // for 2
  solution of 1 from Bob   // for 2
  solution of 2 from Alice // for 3
  solution of 3 from Alice // for 4
  solution of 4 from Alice // for 3