Assertion list
gravitational wave (subgroup of wave ) → HasProperty
Results from Ascent++: 2
gravitational wave → HasProperty → weak 0.32
gravitational wave → HasProperty → strong 0.25