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