Assertion list
floppy disk (primary) → IsA
Results from Ascent++: 1
floppy disk → IsA → primary external writable stora… 0.25