Assertion list for term "arise by implication".

Results from Ascent++: 1
remedy CapableOfarise by implication 0.48