Assertion list
surface wave (subgroup of wave ) → HasProperty
Results from Ascent++: 1
surface wave → HasProperty → the last 0.25