Assertion list for term "stated reasonable requirements of soundness".

Results from Ascent++: 1
specification CapableOfstated reasonable requirements of soundness 0.25