Assertion list
active sonar (subgroup of sonar ) → IsA
Results from Ascent++: 2
active sonar → IsA → emitting pulses of sounds 0.68
active sonar → IsA → listening 0.45