Assertion list
piccolo (primary) → IsA
Results from Ascent++: 1
piccolo → IsA → smaller than the flute 0.44