Assertion list
short piece (subgroup of piece ) → IsA
Results from Ascent++: 1
short piece → IsA → individual 0.16