Assertion list
mg (aspect of suspension ) → ReceivesAction
Results from Ascent++: 2
mg → ReceivesAction → added 0.68
mg → ReceivesAction → available in following form 0.34