Assertion list
root (aspect of fig ) → ReceivesAction
Results from Ascent++: 3
root → ReceivesAction → restricted 0.68
root → ReceivesAction → embedded in the groove 0.39
root → ReceivesAction → constrained 0.16