Assertion list
contingent remainder (subgroup of remainder ) → HasProperty
Results from Ascent++: 2
contingent remainder → HasProperty → valid 0.68
contingent remainder → HasProperty → void 0.68