Assertion list for term "use in sleeve".

Results from Ascent++: 1
uniform CapableOfuse in sleeve 0.25