Assertion list for term "based on red flags".

Results from Ascent++: 1
tan ReceivesActionbased on red flags 0.25