Assertion list
hd video (subgroup of video ) → IsA
Results from Ascent++: 1
hd video → IsA → 16:9 0.25