Assertion list for term "satisfy the wave equation".

Results from Ascent++: 1
wave CapableOfsatisfy the wave equation 0.27