Assertion list
scalpel (primary) → UsedFor

Results from Ascent++: 1
scalpelUsedFor surgery 0.68