Assertion list
bonding (primary) → IsA
Results from Ascent++: 1
bonding → IsA → wonderful technique 0.25