Assertion list
hd video (subgroup of video ) → HasProperty
Results from Ascent++: 2
hd video → HasProperty → rich 0.27
hd video → HasProperty → smooth 0.27