Assertion list
new block (subgroup of block ) → HasProperty
Results from Ascent++: 3
new block → HasProperty → valid 0.39
new block → HasProperty → more than one block 0.25
new block → HasProperty → lovely 0.16