Assertion list for term "check datum".

Results from Ascent++: 1
right CapableOfcheck datum 0.43