Assertion list
drug addict (primary) → HasProperty
Results from Ascent++: 1
drug addict → HasProperty → sick 0.16