Assertion list
blade (aspect of scalpel ) → HasA
Results from Ascent++: 1
blade → HasA → longitudinal slot 0.25