Assertion list for term "redefine in terms of h".

Results from Ascent++: 1
kilogram CapableOfredefine in terms of h 0.25