Assertion list for term "approximation".

Results from Ascent++: 1
technical specification (subgroup of specification) IsAapproximation 0.25