Assertion list for term "right number of pockets".
Results from Ascent++: 1
uniform → HasA → right number of pockets 0.28