Assertion list for term "be a high-grade choice".

Results from Ascent++: 1
lens CapableOfbe a high-grade choice 0.25