Assertion list for term "correspond to first true condition".

Results from Ascent++: 1
value (aspect of function) CapableOfcorrespond to first true condition 0.25