Assertion list
teacup (primary) → IsA
Results from Ascent++: 1
teacup → IsA → shorter than coffee cups 0.28