Assertion list
birth certificate (subgroup of certificate ) → HasProperty
Results from Ascent++: 1
birth certificate → HasProperty → necessary 0.68