Assertion list
videotape (primary) → IsA
Results from Ascent++: 1
videotape → IsA → magnetic tape 0.30