Assertion list for term "smaller than horses".

Results from Ascent++: 1
donkey IsAsmaller than horses 0.35