Assertion list for term "all of the inputs".

Results from Ascent++: 1
monitor HasAall of the inputs 0.25