Assertion list
vertical blind (subgroup of blind ) → IsA
Results from Ascent++: 1
vertical blind → IsA → our favourite blinds 0.38