Assertion list
new forte (subgroup of forte ) → ReceivesAction

Results from Ascent++: 1
new forteReceivesAction targeted to receive the highest… 0.75