Assertion list
formal probate (subgroup of probate ) → HasProperty
Results from Ascent++: 1
formal probate → HasProperty → costly 0.25