// PG_Instance
9 2
// PG_Solution

// PG_Claim
HSR 9 2 <= 6
// Protocol

protocol StandardPositive // for HSR
variables 
declare 
HSR1 pi 
declare DecisionTree s
step st1 Bob pi 
step st2 Alice s
predicate pi s {{ Java }}

protocol SecretNegative // in MAX-CSP competition
variables declare CSPFormula pi 
step st1 Alice pi secret until st2 sA
step st2 Bob sB
predicate pi sA sB {{ Java }}

protocol Renaissance // Tartaglia
variables 
declare iA Instance 
declare iB Instance 
declare siA Solution 
declare siB Solution
step st1 Alice secret until st2 iA
step st2 Bob   secret until st2 iB
step st3 Alice secret until st4 siB
step st4 Bob   siA
predicate iA iB siA siB {{ Java }}