Assertion list for term "less stringent".

Results from Ascent++: 2
requirement HasPropertyless stringent 0.50
definition HasPropertyless stringent 0.30