Assertion list
immigration bond (subgroup of bail ) → ReceivesAction
Results from Ascent++: 1
immigration bond → ReceivesAction → secured with property 0.79