Assertion list
embolism (primary) → HasProperty

Results from Ascent++: 1
embolismHasProperty fatal 0.59