Assertion list
good argument (subgroup of argument ) → HasProperty
Results from Ascent++: 1
good argument → HasProperty → valid 0.39