Assertion list
ferret (primary) → Causes
Results from Ascent++: 1
ferret → Causes → blockage 0.16