Assertion list
convicted terrorist (subgroup of terrorist ) → ReceivesAction
Results from Ascent++: 1
convicted terrorist → ReceivesAction → released 0.59