Assertion list
minute nap (subgroup of nap ) → IsA

Results from Ascent++: 1
minute napIsA sweet spot 0.59