Assertion list
vertical blind (subgroup of blind ) → HasA
Results from Ascent++: 1
vertical blind → HasA → slat 0.25