Assertion list for term "correct height".

Results from Ascent++: 1
base unit (subgroup of unit) IsAcorrect height 0.25