Assertion list
normality (primary) → ReceivesAction
Results from Ascent++: 3
normality → ReceivesAction → assessed 0.66
normality → ReceivesAction → satisfied 0.52
normality → ReceivesAction → assumed 0.44