Assertion list for term "guess the mystery number".

Results from Ascent++: 1
miner CapableOfguess the mystery number 0.56