Assertion list
informal probate (subgroup of probate ) → HasProperty
Results from Ascent++: 1
informal probate → HasProperty → cheaper 0.59