Assertion list
edge (aspect of razor ) → ReceivesAction
Results from Ascent++: 1
edge → ReceivesAction → arranged to define first cuttin… 0.25