Assertion list
recovering alcoholic (subgroup of alcoholic ) → HasProperty
Results from Ascent++: 1
recovering alcoholic → HasProperty → sober 0.49