Assertion list
standard model (subgroup of model ) → ReceivesAction
Results from Ascent++: 2
standard model → ReceivesAction → created 0.51
standard model → ReceivesAction → extended 0.42