Assertion list
blade (aspect of scalpel ) → HasA

Results from Ascent++: 1
bladeHasA longitudinal slot 0.25