Assertion list
video format (subgroup of format ) → IsA
Results from Ascent++: 2
video format → IsA → avi 0.81
video format → IsA → mp4 0.81