Assertion list for term "apply to sme".

Results from Ascent++: 1
scheme CapableOfapply to sme 0.47