Assertion list for term "depend on either analysis".

Results from Ascent++: 1
proof CapableOfdepend on either analysis 0.33