Assertion list
strong ai (subgroup of ai ) → ReceivesAction

Results from Ascent++: 1
strong aiReceivesAction achieved 0.68