Assertion list
interlaced video (subgroup of video ) → HasA
Results from Ascent++: 2
interlaced video → HasA → same frame size 0.16
interlaced video → HasA → vertical refresh rate 0.16