Assertion list for term "check good".

Results from Ascent++: 1
obligation (aspect of contract) CapableOfcheck good 0.27