Assertion list
mechanical wave (subgroup of wave ) → IsA
Results from Ascent++: 1
mechanical wave → IsA → wave 0.46