Assertion list
book (aspect of bookmaker ) → HasProperty
Results from Ascent++: 1
book → HasProperty → unbalanced 0.16