Assertion list for term "a shadow function".

Results from Ascent++: 1
atom HasAa shadow function 0.25