Assertion list
long sword (subgroup of sword ) → IsA
Results from Ascent++: 1
long sword → IsA → quicker 0.29