Assertion list for term "make different assumptions".

Results from Ascent++: 1
model CapableOfmake different assumptions 0.44