Assertion list
new block (subgroup of block ) → HasA
Results from Ascent++: 2
new block → HasA → information 0.41
new block → HasA → same predecessor 0.35