Assertion list for term "less convincing".

Results from Ascent++: 3
argument HasPropertyless convincing 0.34
sequence HasPropertyless convincing 0.30
explanation HasPropertyless convincing 0.25