Assertion list for term "at least one solution".

Results from Ascent++: 1
boundary value problem (subgroup of problem) HasAat least one solution 0.36