Assertion list for term "under full blown k".
Results from Ascent++: 2
improvement → HasProperty → under full blown k 0.28
repair → HasProperty → under full blown k 0.27