Assertion list
standard deduction (subgroup of deduction ) → HasProperty
Results from Ascent++: 1
standard deduction → HasProperty → zero 0.25