Assertion list
reference model (subgroup of model ) → ReceivesAction
Results from Ascent++: 2
reference model → ReceivesAction → tested 0.68
reference model → ReceivesAction → created 0.25