Assertion list
small claim (subgroup of claim ) → HasProperty
Results from Ascent++: 1
small claim → HasProperty → unsuccessful 0.25