Assertion list for term "sufficient profile".

Results from Ascent++: 1
concrete HasAsufficient profile 0.25