Assertion list for term "many queens".
Results from Ascent++: 1
nest → HasA → many queens 0.36