Assertion list
transverse wave (subgroup of wave ) → IsA
Results from Ascent++: 1
transverse wave → IsA → wave 0.68