Assertion list for term "n/2 old samples".
Results from Ascent++: 1
block → HasA → n/2 old samples 0.31