Assertion list for term "to be cooperative".

Results from Ascent++: 1
ideal HasPropertyto be cooperative 0.35