Assertion list for term "red-flagged".

Results from Ascent++: 1
deduction HasPropertyred-flagged 0.16