Assertion list for term "imply any term".

Results from Ascent++: 1
act CapableOfimply any term 0.37