Assertion list
history (aspect of regiment ) → ReceivesAction
Results from Ascent++: 2
history → ReceivesAction → traced 0.68
history → ReceivesAction → lost 0.16