Assertion list for term "choose one of the coins".

Results from Ascent++: 1
spectator CapableOfchoose one of the coins 0.28