Assertion list for term "notify defect".

Results from Ascent++: 1
obligation (aspect of contract) CapableOfnotify defect 0.32