Assertion list
short sword (subgroup of sword ) → IsA
Results from Ascent++: 2
short sword → IsA → of straight type 0.37
short sword → IsA → of various forms 0.25