Assertion list
gauntlet (primary) → IsA
Results from Ascent++: 1
gauntlet → IsA → glove 0.53