Assertion list
audio format (subgroup of format ) → IsA
Results from Ascent++: 1
audio format → IsA → mp3 0.81