Assertion list
christmas stocking (primary) → IsA
Results from Ascent++: 1
christmas stocking → IsA → empty sock 0.68