Assertion list for term "satisfy second condition".

Results from Ascent++: 1
value (aspect of parameter) CapableOfsatisfy second condition 0.28