Assertion list
rogue wave (subgroup of wave ) → DefinedAs

Results from Ascent++: 1
rogue waveDefinedAs wave 0.25