Assertion list for term "positive solution".

Results from Ascent++: 1
boundary value problem (subgroup of problem) HasApositive solution 0.68