Assertion list for term "never obligated".

Results from Ascent++: 1
consumer ReceivesActionnever obligated 0.45