Assertion list
level (aspect of spinach ) → ReceivesAction
Results from Ascent++: 1
level → ReceivesAction → affected by the method of stora… 0.68