Assertion list for term "tautological".
Results from Ascent++: 3
argument → HasProperty → tautological 0.49
deduction → HasProperty → tautological 0.41
definition → HasProperty → tautological 0.32