Assertion list
transverse wave (subgroup of wave ) → HasA
Results from Ascent++: 2
transverse wave → HasA → crest 0.25
transverse wave → HasA → trough 0.25