Assertion list for term "destruct message".

Results from Ascent++: 1
self CapableOfdestruct message 0.25