Assertion list
gravitational wave (subgroup of wave ) → HasA
Results from Ascent++: 1
gravitational wave → HasA → small amplitude 0.25