Assertion list
thrombus (primary) → HasProperty
Results from Ascent++: 2
thrombus → HasProperty → large 0.38
thrombus → HasProperty → asymptomatic 0.19