Assertion list
functioning alcoholic (subgroup of alcoholic ) → CapableOf
Results from Ascent++: 1
functioning alcoholic → CapableOf → drink 0.72