Assertion list
miniskirt (primary) → IsA
Results from Ascent++: 1
miniskirt → IsA → skirt 0.68