Assertion list
new collection (subgroup of collection ) → HasProperty
Results from Ascent++: 3
new collection → HasProperty → forthcoming 0.50
new collection → HasProperty → perfect 0.21
new collection → HasProperty → beautiful 0.16