Assertion list for term "support all of the arguments".

Results from Ascent++: 1
proof CapableOfsupport all of the arguments 0.25