Assertion list
active sonar (subgroup of sonar ) → CapableOf
Results from Ascent++: 3
active sonar → CapableOf → use receiver 0.36
active sonar → CapableOf → listen for reflections echoof t… 0.25
active sonar → CapableOf → use a sound transmitter 0.25