Assertion list for term "considered stiffer".

Results from Ascent++: 1
bat HasPropertyconsidered stiffer 0.31