Assertion list
t distribution (subgroup of distribution ) → HasProperty

Results from Ascent++: 1
t distributionHasProperty closer 0.68