Assertion list
signature bond (subgroup of bail ) → IsA
Results from Ascent++: 1
signature bond → IsA → promise 0.68