Assertion list
smoker (primary) → HasPrerequisite
Results from Ascent++: 1
smoker → HasPrerequisite → frequent repeated revasculariza… 0.25