Assertion list for term "true conclusion".

Results from Ascent++: 1
argument HasAtrue conclusion 0.32