Assertion list
ultrasound (primary) → IsA
Results from Ascent++: 1
ultrasound → IsA → sound 0.41