Assertion list for term "less true".
Results from Ascent++: 2
argument → HasProperty → less true 0.31
truth → HasProperty → less true 0.30